Leiden University Libraries, MS BPG 7, Euclidis opera,
ex Procli Diadochi in Euclidem commentario excerpta,
Netherlands, 1504-1505
fol 59, proposition IV.5          α               Σ                 ©