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.
![{\displaystyle {}F\in \mathbb {Z} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f5533c255a24b4bf3f66ef8bc804afad97ba327)
![{\displaystyle {}\mathbb {Q} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05854fb7f5090d865105d7297fa178c8eb802fbf)