\فكر في 
فئات التكافؤ المناسبة من الأشكال ذات التمييز 
المتساوية مع تمييز الحقل
فئات التكافؤ المناسبة من الأشكال ذات التمييز المتساوية مع تمييز الحقل
ثم يمكن تقسيمها بالتساوي إلى 
أجناس من 
الأشكال التي
أجناس من الأشكال التي
(Cohn 1980 ، الصفحة 224)
حيث 
يكون عدد قواطع مميزة متميزة من 
.
يكون عدد قواطع مميزة متميزة من .
تم إثبات هذه النظرية من قبل غاوس في عام 1801.
ليست هناك تعليقات:
إرسال تعليق