"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..."