Pe fâ un exempio, Dedekind o l’é stæto o primmo à demostrâ o teorema di doî quaddri de Fermat pe mezo da fattorizzaçion unica di intreghi gaussien.