[A:3r] 9^a

18 // Magnitudines a b singulae eandem habeant rationem ad c. // Aio quod aequales sunt a b invicem.

<//> Nam si inaequales, non habebunt per praecedentem rationem eandem ad c quod est contra hypothesim. Aequales ergo sunt omnino. // Rursus habeat c ad ipsas¹⁷ a b singulas rationem eandem: aio quod aequales sunt a b invicem

<//> Nam si inaequales, non habebit, per secundam partem praemissae, c ad singulas a b rationem eandem quod est contra hypothesim. Omnino ergo aequales sunt a b magnitudines.