Meuse jih, Dedekind adalah ureng phon yen meubuktikan teorema dua peut sago Fermat meupakek faktorisasi unik bilangan bulat Gaussian.