Եթե ամբողջ մասը հարաբերում է ամբողջ մասին ինչպես վերցված մասը վերցված մասին, ապա մնացորդը կհարաբերի մնացորդին ինչպես ամբողջ մասը ամբողջին։
screenshot #19[[Պատկեր:պնդում19.png|center|400px]]
Թող ամբողջ մաս AB-ն հարաբերի ամբողջ մաս CD ինչպես վերցված մաս AE-ն CF վերցված մասին։ Ես ասում եմ որ, EB մնացորդը կհարաբերի CD մնացորդին ինչպես ամբողջ մաս AB-ն CD ամբողջին։
Հետևաբար, EB մնացորդը հարաբերում է FD մնացորդին, ինչպես ամբողջ AB-ն կհարաբերի ամբողջ CD-ին։
Այսպիսով՝ եթե ամբողջ մասը հարաբերում է ամբողջ մասին ինչպես վերցված մասը վերցված մասին, ապա մնացորդը կհարաբերի մնացորդին ինչպես ամբողջ մասը ամբողջին։ Ինչը պետք էր ցույց տալ:
Եվ քանի որ ցույց տրված եղել էր որ AB-ն հարաբերում է CD-ին ինչպես EB-ն
FD-ին, Սա նույնպես այն դեպքն է հակադարձ, որ AB-ն հարաբերում է BE-ին ինչպես CD-ն FD-ին։ Հետևաբար համադրված մեծությունները համաչափ են։ Եվ ցույց տրված եղել է որ BA-ն հարաբերում է AE-ին ինչպես DC-ն CF-ին։ Եվ վերջինս ստացվել է առաջինից։