之前我们学习了同余关系 (≡) 的一些基本性质，以及如何在同余关系中执行基本运算（加、减、乘和除，在特定条件下）。
在本章中，我们将学习数学中最重要定理之一，鸽巢原理。这个看似简单的定理非常强大，它可以证明令人震惊的事实，例如，伦敦至少有两个人头发数量相同 - 什么？！甚至还有这样一个事实，如果你在一个有 365 个婴儿（每个婴儿出生在一年中的不同日期）的群体中添加一个新生婴儿，那么这个群体中一定有一个婴儿和这个新婴儿出生在同一天（好吧，这个就比较明显了，不太令人惊讶）。
我们将学习如何在模算术中使用强大的鸽巢原理。
(WIP)