उदाहरण बर,  गॉसियन पूर्णांक के अद्वितीय कारक के उपयोग करके फर्मेट के दुनो वर्ग प्रमेय के साबित करे वाला डेडेकेंड पहला रहिस।