Sea formula_73 una permutación de formula_74.