Notation. [005F]

    We denote the set of residue classes mod with .