There is a lot more one can say about solving congruences. However, congruences also play a crucial role in solving all manner of other number-theoretic problems.

In this chapter, we collate a significant number of interesting results that the congruence framework affords us. Among them are some of the most important results we have access to at this early stage, including Fermat's Little Theorem and Lagrange's Theorem on polynomials.