Books about Proofs of Assertions in the Investigation of the Regular Polytope