Example

The image of

3 + 6X + 8X2 + 2X3 - 88X4 Z[X]/(5)

under the map I of the theorem is

3 + X + 3X2 + 2X3 + 2X4 Z/5Z[X].