വാസ്തവത്തിൽ, ഞാൻ സി തെളിയിക്കില്ല, സി യുടെ പ്രൂഫ് നമ്മൾ ഒഴിവാക്കും, സി യുടെ ഗുണിത ഗ്രൂപ്പായ ക്യൂ മൈനസ് 1 രൂപപ്പെടുന്ന കെ യുടെ പൂജ്യമല്ലാത്ത എലമെന്റുകൾ എന്ന് പറയുന്നു.
உண்மையில் நான் cயை நிரூபிக்கப் போவதில்லை. cன் சான்றை நாம் விட்டுவிட போகிறோம் c என்ன சொல்கிறது என்றால், Kன், 0 அல்லாத எலிமெண்ட்கள் , ஆர்டர் q மைனஸ் 1 உள்ள மல்டிபிள்ளிகேட்டிவ் குரூப்பை உருவாக்கும்.