Pigeonhole Principle

This animation visualizes the pigeonhole principle step in Lagrange's four-square theorem using a modulo-11 clock, showing how two sets of six values are mapped into eleven boxes. It illustrates that a collision is guaranteed, which proves the existence of a solution for the equation $mp = x_0^2 + y_0^2 + 1^2 + 0^2$.