１．
整数ａが整数ｂとｃの差を割り切るとき、ｂとｃはａに関して合同であるといい、
そうでないとき、ｂとｃは非合同であるという。ａをｍｏｄｕｌｕｓという。
前者の場合、整数ｂ、ｃの一方は他方の剰余であるといい、
後者の場合、非剰余であるという。


誰が何で、modulusに「法」なんて訳語を当てたんだろ？