Eso contradice nuestra hipótesis inicial, y se concluye que entonces formula_38 debe tener una raíz.