But Eudoxus the Cnidian, who was somewhat junior to Leon, and the companion of Plato, first of all rendered the multitude of those theorems which are… - Proclus

If two right lines cut one another, they will form the angles at the vertex equal. ...
This... is what the present theorem evinces, that when two right lines mutually cut each other, the vertical angles are equal. And it was first invented according to Eudemus by Thales...

Let us now explain the origin of geometry, as existing in the present age of the world. For the demoniacal Aristotle observes, that the same opinions often subsist among men, according to certain orderly revolutions of the world: and that sciences did not receive their first constitution in our times, nor in those periods which are known to us from historical tradition, but have appeared and vanished again in other revolutions of the universe; nor is it possible to say how often this has happened in past ages, and will again take place in the future circulations of time. But, because the origin of arts and sciences is to be considered according to the present revolution of the universe, we must affirm, in conformity with the most general tradition, that geometry was first invented by the Egyptians, deriving its origin from the mensuration of their fields: since this, indeed, was necessary to them, on account of the inundation of the Nile washing away the boundaries of land belonging to each. Nor ought It to seem wonderful, that the invention of this as well as of other sciences, should receive its commencement from convenience and opportunity. Since whatever is carried in the circle of generation proceeds from the imperfect to the perfect.

A transition, therefore, is not undeservedly made from sense to consideration, and from this to the nobler energies of intellect. Hence, as the certain knowledge of numbers received its origin among the Phœnicians, on account of merchandise and commerce, so geometry was found out among the Egyptians from the distribution of land. When Thales, therefore, first went into Egypt, he transferred this knowledge from thence into Greece: and he invented many things himself, and communicated to his successors the principles of many. Some of which were, indeed, more universal, but others extended to sensibles.