Cuando formula_58, cada propiedad (en particular, los axiomas) de formula_3 son válidos para formula_2.