Sea formula_62 una permutación de formula_63.