example of pigeonhole principle

Theorem.

Proof.

The residue classes modulo 7 are 0,1,2,3,4,5,6.
We have seven and eight integers. So it must be the case that 2 integers fall on the same
residue class, and therefore their difference will be divisible by 7.
∎