Եթե Չորս թվեր իրար հարաբերական են, ապա նրանք հարաբերական կլինեն նաև միմյանց.
[[Պատկեր:Euclid Elements Book 7 Proposition 13.png|center|200px]]
Օրինակ վերցնենք A, B, C, D թվերը: Եթե A հարաբերում է B-ին ին ինչպես C-ն է հարաբերում D-ին, ապա կարող ենք պնդել, որ A-ն հարաբերում է C -ին, ինչպես B-ն հարաբերում է D-ին: Եթե A-ն կազմում է B-ի մի մասը, ապա C-ն նույնպես կազմում է D-ի նույն մասը: Այսպիսով, որերորդ մասը որ A-ն կազմում է C-ի մեջ, նույքան մաս B-ն կազմում է D-ի մեջ: Այսինքն ինչպես A-ն C-ին, այնպես էլ B-ն D-ին: Որը և մեզ անհրաժեշտ էր ցույց տալ: