Remark

A special case is the situation Z[X] and d Z, a constant.
Here we find a representative by reducing each coefficient modulo d. As we will see later, arithmetic modulo d is equivalent to arithmetic in Z/dZ[X].