合同式は法が素数のベキ乗の場合に帰着する https://for-spring.com/algebra/elemental_number_theory-15/