Meselâ, Dedekind birinci olıp Fermanıñ eki kvadrat aqqındaki teoremasını Gaussnıñ bütün sayılarınıñ özgün faktorizatsiyasını qullanıp isbat etti.