There are five geometric propositions for which he wrote deductive proofs, though his proofs have not survived.
Sunt cinci propoziții geometrice pentru care el a scris dovezi deductive, ele nesupraviețuind mileniilor până azi.