Chinese remainder theorem
とすると、求める解 "x" は、(a,b) in { formula_6, formula_7, formula_8, formula_9 }の4組を中国の剰余定理により、x=a mod p, x=b mod qとして求める。