Es sei F ∈ Z [ X ] {\displaystyle {}F\in \mathbb {Z} [X]} ein irreduzibles Polynom. Dann ist F {\displaystyle {}F} , aufgefasst als Polynom in Q [ X ] {\displaystyle {}\mathbb {Q} [X]} , ebenfalls irreduzibel.