entonces una reducción de formula_1 a la identidad es equivalente a tener una