Fermat's theorem
Additionally, the lattice perspective gives a computationally efficient approach to Fermat's theorem on sums of squares: