Noción común 1.
Cosas que sean iguales a una tercera son iguales entre sí.