Fermat's theorem
Gauss proves the analogue of Fermat's theorem: if α is not divisible by an odd prime π, then