Chinese remainder theorem
Using the Chinese remainder theorem, we can prove that implementing formula_4 as