Chinese remainder theorem
となるから中国の剰余定理により、formula_86 なる整数 formula_87 と formula_88 を用いて