多变量同余式

congruence with several variables