Fermat's theorem
An analogue of Fermat's theorem holds in formula_9 If formula_10 then