は、合同式 "a" ≡ "b" (mod "n")と解釈することもできる。