重模同余式

_

congruence with respect to double modulus