Proofs of Assertions in the Investigation of the Regular Polytope by R. Thompson