Six Regular 4-Dimensional Polytopes

Theorem
There exist exactly 6|six $4$-dimensional regular polytopes:


 * the pentatope (also known as the $4$-simplex)
 * the tesseract
 * the $16$-cell
 * the $24$-cell
 * the $120$-cell
 * the $600$-cell