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 mod p Z एक फ़ील्ड है; यह एक UFD है, इसलिए UFD पोलीनोमिअल रिंग ओवर UFD है।