CRT | The Theory of Congruences