Original: These polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century.
Simplified: where Nk denotes the number of k-faces in the polytope (a vertex is a 0-face, an edge is a 1-face, etc.).