Por ejemplo, Dedekind fue el primero en probar el teorema de dos cuadrados de Fermat utilizando la factorización única de los enteros de Gaussian.