Demostración de la afirmación formula_30