Dados cualesquiera dos objetos de la primera categoría formula_3 se cumple que: