Suponer que formula_56 de formula_1 tiene orden formula_93