Hat K weniger als p Elemente, dann muss es unter den Zahlen
1, 1+1, 1+1+1, ... ∑i=1..p 1
zwei Gleiche geben. Es sei deshalb ∑i=1..n 1 = ∑i=1..m 1 mit n < m ≤ p.
Es ist 0 = ∑i=1..p 1 = ∑i=1..m 1 + ∑i=1..p-m 1. Dann ist auch ∑i=1..n 1 + ∑i=1..p-m 1 = ∑i=1..p-m+n 1 = 0. Allerdings p-m+n < p.