مثلًا، ديدكايند كان أول من أثبت مبرهنة فيرما للمربعين باستخدام تحليل الأعداد الصحيحة الغاوسية الفريدة.