Add ball proofs, cyclic polytopes and bibliography
Tidy formatting and add citations