一次合同式の解の存在条件は？方程式との違いは？ https://for-spring.com/algebra/elemental_number_theory-11/