Por lo tanto, se puede demostrar que formula_39 no puede ser expresada como una fracción irreducible, entonces debe ser cierto que formula_39 no es un número racional.