In fact, it is a PID which we do not need for now, we only need that it is a UFD because Z mod p Z is a field; it is a UFD, so any polynomial ring in over a UFD is UFD.
உண்மையில், இது இப்போது நமக்குத் தேவையில்லாத ஒரு PID , இது UFD என்று மட்டுமே நமக்குத் தேவை, ஏனெனில் Z மட்டு p Z ஒரு களம்; இது ஒரு UFD, எனவே ஏதேனும் UFDக்கு மேல் உள்ள பல்லுறுப்புக்கோவை வளையம் UFD ஆகும்.