Exactly Three Infinite Families of Convex Regular Polytopes
(Ludwig Schläfli, 1852)