定義1.1 mを自然数、a、bを整数とする。aをmで割った余りと、bをmで割った余りが等しい時、 a≡b (mod m) と書き、「aとbは法mに関して合同である」という。 定義1.2 mを自然数、a、bを整数とする。a-bがmの倍数であるとき、 a≡b (mod m) と書く。 定理1.4 合…