como la afirmación es cierta para formula_59, tenemos que