en q het polynoom
In Q[X]/(d) geldt dan dat de veelterm p+q mod d gelijk is aan
en de veelterm p*q mod d gelijk is aan