Եթե բաժանված մեծությունները համաչափ են, ապա նրանք նույնպես համաչափ կլինեն համադրված։
screenshot #18 [[Պատկեր:պնդում18.png|center|400px]]
Թող AE-ն, EB-ն, CF-ը և FD-ն լինեն բաժանված մեծություններ որոնք համաչափ են, այնպես որ AE-ն հարաբերում է EB-ին ինչպես CF-ը FD-ին։ Ես ասում եմ որ նրանք նույնպես համաչափ կլինեն համադրված, այսինքն AB-ն կհարաբերի BE-ին ինչպես