中国の剰余定理
Using the Chinese remainder theorem, we can prove that implementing formula_4 as