On Regular Polytopes