10^a

19 // Magnitudinum a b ipsa quidem a maiorem rationem habeat ad c quam b ad c. // Aio quod a maior est quam b.

// Non enim aequalis est a ipsi b nam tunc a b singulae eandem haberent rationem ad c per primam partem 7^ae quod est contra hypothesim. Sed nec minor est a quam b nam tunc per primam partem 8^ae b maiorem rationem haberet ad c quam a ad c quod rursus est contra hypothesim: erit¹⁸ ergo a omnino maior quam b.

// Rursum habeat c maiorem rationem ad b quam c ad a. // Aio quod minor est b quam a.

// Non enim aequalis est b ipsi a. Sic enim¹⁹ per²⁰ secundam partem 7^ae c²¹ ad singulas a b eandem haberet rationem, quod est contra hypothesim. 20 Sed nec maior b quam a nam sic per secundam partem 8^ae maiorem²² haberet rationem c ad a quam c ad b quod rursus est contra hypothesim. Omnino ergo minor est b quam a sicut²³ demonstrandum proponitur.