Solution (source code)

= Solution

For pairwise coprime positive integers $n_i$, every system $x\equiv a_i\pmod{n_i}$ has a unique solution modulo $\prod_i n_i$.