Pro esèmpio, Dedekind est istadu su primu a dimustrare su teorema de sos duos cuadratos de Fermat impreende sa fatorizatzione ùnica de sos intreos gaussianos.