Además formula_72, pero puede ocurrir que formula_73 y sin embargo formula_74.