Thales
apodeixai phasin."
"Me võlgneme vanale Thalesele paljud avastused ja eriti selle teoreemi; sest öeldakse, et
ta oli esimene, kes tegi kindlaks ja väitis (formuleeris), et igal võrdhaarsel kolmnurgal on
alusnurgad võrdsed, ja nimetas võrdseid (isas) nurki arhailises stiilis "sarnasteks"
(homoias)." (Proklos, Kommentaar Eukleidesele 250.20251.2)
"tôi men oyn Thalêi tôi palaiôi pollôn te allôn heyreseôs heneka kai toyde toy
theôrêmatos kharis legetai gar de prôtos ekeinos epistêsai kai eipein, hôs ara pantos
isoskeloys hai pros tê basei gôniai isai eisin, arkhaïkôteron de tas "isas" homoias
proseirêkenai."
"See teoreem tõestab, et kui kaks sirget lõikuvad, siis tippnurgad lõikepunkti juures on
võrdsed Eudemose järgi avastas selle esimesena Thales." (Proklos, Kommentaar
Eukleidesele 299.14)
"toyto toinyn to theôrêma deikysin, hoti dyo eytheiôn allêlas temnoysôn hai kata