Proclus' commentary on Euclid's definitions I, 3 and I, 6. - Glasner, R. (1992)