source
Proclus A Commentary on the First Book of Eudlid's Elements (c. 450 AD), as quoted by Thomas Little Heath, A History of Greek Mathematics (1921) [https://archive.org/details/historyofgreekma01heat Vol. 1], p. 128, citing Proclus on Eucl. I, p. 65. 15-21.