Այսպիսով՝ հավասար մեծությունները ունեն հավասար հարաբերություն նույն մեծությանը, և վերջին մեծությունը ունի հավասար հարաբերություն հավասար մեծություններին։
== Հետևանք ==
Այսպիսով այստեղից պարզ է որ երե որոշ մեծություններ պրոպորցիոնալ են, ապա նրանք նույնպես կլինեն հակադարձորեն պրոպորցիոնալ։ Ինչը պետք էր ցույց տալ: