Random triples
| Subject | Object |
|---|---|
| gptkb:Eisenstein_criterion | if there exists a prime p such that p divides all coefficients except the leading, p does not divide the leading coefficient, and p^2 does not divide the constant term, then the polynomial is irreducible over the rationals |