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