इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें सेट - सैद्धांतिक रूप से, अंगूठी है \\ prod -- \\ mathbb_p.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "सेट - सैद्धांतिक रूप से, \\ mathbb Z_p सिर्फ \\ prod -- \\ mathbb_p है; लेकिन दो सेट छल्ले के रूप में समरूप नहीं हैं".