# proofs

- [every cyclic polytope C_d(d+3) is circumscribable](../blog/circumscribed-cyclic-polytopes/) ; [markdown](../blog/circumscribed-cyclic-polytopes/index.md)
- [compatible triangulations: a theorem and an obstruction](../blog/compatible-triangulations-proof-obstruction/) ; [markdown](../blog/compatible-triangulations-proof-obstruction/index.md)
- [an explicit counterexample to Zhao's Vanishing Conjecture](../blog/explicit-zhao-vanishing-counterexample/) ; [markdown](../blog/explicit-zhao-vanishing-counterexample/index.md)
- [a short proof of Wang–Tian's tree-packing conjecture](../blog/wang-tian-tree-packing-conjecture/) ; [markdown](../blog/wang-tian-tree-packing-conjecture/index.md)