Man gebe ein Polynom P ∈ Q [ X ] {\displaystyle {}P\in \mathbb {Q} [X]} an, das nicht zu Z [ X ] {\displaystyle {}\mathbb {Z} [X]} gehört, aber die Eigenschaft besitzt, dass für jede ganze Zahl n {\displaystyle {}n} gilt:
![{\displaystyle {}P\in \mathbb {Q} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b8dd6b5f05b2d4713c8caa5b0957ac04532e6c)
![{\displaystyle {}\mathbb {Z} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/192c251bd578fa7224f44f5d4539c9813b31aa46)
.