Por esa razón, "f" es irreducible sobre el campo "p"-ádico, y "a fortiori" sobre el campo de los números racionales.