Se demuestra entonces lo contrario: formula_18 es irracional.