La propiedad 1 (formula_75) se sigue de la 4 y la 5.