Este evident că elementele din mulțimea A sunt direct proporționale cu cele din mulțimea B. Deci avem
[tex]\frac{a}{x}=\frac{b}{y}=\frac{c}{z}=\frac{a+b+c}{x+y+z}=1[/tex]
Iar dacă avem rezultatul 1 la fiecare raport, numitorul și numărătorul sunt egale. Adică a=x, b=y, c=z. Din acest motiv A=B.