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: P ( n ) ∈ Z {\displaystyle {}P(n)\in \mathbb {Z} } .