Hemos llegado a una contradicción que implica que formula_40 no es racional.