بطور مثال، دیدیکایند نخستین کسی بود که قضیه دو-مربع فیرمت را ثبوت کرد البته با استفاده از تقسیم بندی اعداد گویای گاوسیان.