entones la afirmación formula_7 será cierta para todo entero formula_8.