Par esempli, Dedekind al è stât il prin a provâ il teoreme a doi cuadrats di Fermat usant l’uniche fatorizazion dai intîrs di Gauss.