His principal contributions were on irrational lengths, which was included in Book X of Euclid's Elements, and proving that there are precisely five regular convex polyhedra.
Kontribusi utamanya adalah ukuran-ukuran irasional, yang termasuk di dalam Buku X dari Euklides Elemen, dan yang tepatnya merupakan lima polihendra cembung biasa.