Supóngase cierto para formula_62.