The CRT states that if you have and are all co-prime, then every number mod is uniquely represented by its remainders mod .
Suppose and .
This is the only number (mod 420) for which the statements above are true.
Extending the example above, we can represent as as a shorthand.
We can then do operations on numbers in this representation, e.g:
After doing as much work as we want in this number system, we can convert back to a regular mod number.
Consider that if we knew the values of these three special numbers:
Then we could easily compute:
Taking as an example, this number must be under modulo and , and is therefore a multiple of :
Considering the mod component (the in ), we have:
( can be found using the Extended Euclidean Algorithm.)
Therefore:
Following the same method, we obtain:
And:
We can verify this matches the traditional calculation: