Luego entonces por el principio de inducción matemática,formula_26 y formula_27, pero eso contradice la suposición de que formula_1 no era un conjunto vacío.