Եթե չորս մեծություններ համաչափ են, ապա նրանցից մեծագույնի և փոքրագույնի գումարը մեծ կլինի մնացած երկուսի գումարից։
screenshot #25[[Պատկեր:պնդում25.png|center|400px]]
Թող AB-ն, CD-ն, E-ն F-ը լինեն չորս համաչափ մեծություններ, այնպես որ AB-ն հարաբերում է CD-ին այնպես ինչպես E-ն F-ին։ Եվ թող AB-ն լինի նրանցից մեծագույնը, իսկ F-ը փոքրագույնը։ Ես ասում եմ որ, AB-ն և F-ը մեծ են քան CD-ն և E-ն։