The philosophical and mathematical commentaries of Proclus on the first book of Euclid's elements (Vol. 1 of 2)
Proclus
DEFINITION XXVI.
DEFINITION XXVIII.
DEFINITION XXVII.
A Right-angled Triangle is that which has a Right Angle.