But if this product is nonzero that means, now, we use the fact that Z, Z mod p Z X is an integral domain, right Z mod p Z is in fact a field, so it is an integral domain.
लेकिन अगर यह उत्पाद नॉन ज़ीरो है, जिसका अर्थ है कि, अब, हम इस तथ्य का उपयोग करते हैं कि Z, Z मॉड p Z X एक इंटीग्रल डोमेन है, Z मॉड p Z वास्तव में एक फ़ील्ड है, इसलिए यह एक इंटीग्रल डोमेन है।