Como la afirmación se cumplía para formula_51, el paso siguiente era ver si, asumida cierta para formula_59, se cumplía para formula_57.