(Principio del Buen Orden) Sea formula_3 un subconjunto de formula_1.