Introduction
The Chinese Remainder Theorem (CRT) is a fundamental result in number theory. It states that if you know the remainders of an integer when divided by several pairwise coprime numbers, you can uniquely determine the remainder when divided by their product.
Historical context: The theorem appears in the 3rd century Chinese text Sunzi Suanjing, where it was used to solve problems about counting soldiers.
Problem statement: Given a system of congruences: