A = B e B = C => A = C
A congruente a B e B congruente a C implica A congruente a C