Division mit Rest
Therefore, given a power of , one has , where is the remainder of the Euclidean division of by .