Theorem
4.3.4
.
There are exactly five regular polyhedra.
in-context