合同式の法は自然数だけ？マイナスは？ https://for-spring.com/algebra/elemental_number_theory-9/