Błaszczyk, P. On Euclid’s ’Elements’ Book V, Definition 7. ZFN 2010, 118-140.