Fermat's theorem
There is an analogue of Fermat's theorem in formula_43. If formula_44 for formula_45, then