Հետևաբար, երկրորդ մեծություն GD-ն նույնպես մեծ է չորրորդ FD-ից
[Պնդում 5.14]։ Բայց նա նույնպես փոքր է, ինչը անհնար է։ Հետևաբար սա այն դեպքը չէ, երբ AB-ն հարաբերում է BE-ին ինչպես CD-ն FD-ից փոքրին։ Հանգունորեն մենք կարող ենք ցույց տալ նաև որ սա FD-ից մեծ դեպքը չէ։ Հետևաբար, սա հավասար FD-ին դեպքն է։
Հետևաբար, եթե բաժանված մեծությունները համաչափ են, ապա նրանք նույնպես համաչափ կլինեն համադրված։ Ինչը պետք էր ցույց տալ:
== Պնդում 19 ==