Changes
/* Պնդում 21 */
B-ն C-ին, ինչպես Դ-ն Ե-ին։ Եվ թող A-ն մեծ լինի C-ից ըստ հավասարության։ Ես ասում եմ որ D-ն նույնպես մեծ կլինի F-ից, և եթե A-ն հավասար է C-ին, ապա D-ն նույնպես հավասար կլինի F-ին։ Եվ եթե A-ն փոքր է C-ից, ապա D-ն նույնպես փոքր կլինի F-ից։
Քանի որ A-ն մեծ է C-ից և B-ն մեկ ուրիշ մեծություն է, հետևաբար A-ն ունի ավելի մեծ հարաբերություն B-ին քան C-ն B-ին [Պնդում 5.8]։ Բայց A-ն հարաբերում է B-ին, ինչպես Ե-ն Ֆ-ին։ Եվ հակադարձորեն C-ն հարաբերում է B-ին այնպես ինչպես Ե-ը Դ-ին [Պնդում 5.7-ի հետևանք]։ Հետևաբար Ե-ն նույնպես ունի ավելի մեծ հարաբերություն Ֆ-ին քան Ե-ը Դ-ին [Պնդում 5.13]։ Եվ մեծությունները ունեն հարաբերություն նույն մեծությանը, այն մեծությունը որը ունի մեծ հարաբերություն մեծն է [Պնդում 5.10]։ Հետևաբար Ֆ-ը փոքր է Դ-ից։ Հետևաբար Դ-ն մեծ է Ֆ-ից։ Հանգունորեն մենք կարոզ ենք ցույց տալ, որ եթե նույնիսկ A-ն հավասար է C-ին ապա D-ն նույնպես հավասար կլինի F-ին և նույնիսկ եթե A-ն փոքր է C-ից, ապա D-ն նույնպես փոքր կլինի քան F-ը։
== Պնդում 22 ==