Jó a bizonyítás? (alább látható)

Bizonyítsuk be az Erdős-Ginzburg-Ziv tételt, vagyis hogy 2n-1 pozitív egész közül kiválasztható négy, amelyek összege osztható n-nel.

Biz.:

2n-1 szám között lennie kell n számnak, melyek n-nel osztva ugyanazt a maradékot adják.

n-nel való osztási maradéka 1;2;...;n-1 és ezek n-szerese valóban osztható n-nel, ebből adódik, hogy a tétel igaz.