Chinese Remainder Theorem

Theorem
Let $a, b, r, s \in \Z$.

Let $r \perp s$ (i.e. let $r$ and $s$ be coprime).

Then:
 * $a \equiv b \pmod {rs}$ iff $a \equiv b \pmod r$ and $a \equiv b \pmod s$

where $a \equiv b \pmod r$ denotes that $a$ is congruent modulo $r$ to $b$.

Proof
Suppose $a \equiv b \pmod {rs}$.

Then from Congruence by Divisor of Modulus it follows directly that $a \equiv b \pmod r$ and $a \equiv b \pmod s$.

Note that for this result it is not necessary for $r \perp s$.

Now suppose that $a \equiv b \pmod r$ and $a \equiv b \pmod s$.

We have $a \equiv b \pmod r \implies \exists k \in \Z: a - b = kr$ by definition of congruence.

We also have that $k r \equiv 0 \pmod s$ because $a \equiv b \pmod s$.

As $r \perp s$, we have from Common Factor Cancelling in Congruence that $k \equiv 0 \pmod s$.

So $\exists q \in \Z: a - b = qsr$.

Hence by definition of congruence $a \equiv b \pmod {rs}$.