For example, Dedekind was the first to prove Fermat's two-square theorem using the unique factorization of Gaussian integers.
De exemplu, Dedekind a fost primul care a demonstrat teorema celor două pătrate a lui Fermat folosind factorizarea unică a întregilor gaussieni.