Se ha encontrado una contradicción al asumir en (1) que formula_18 es un número racional, luego esta afirmación es falsa.