combinatoriek 4

Zij $A$ een verzameling van $N$ resten modulo $N^2$. Bewijs dat er een verzameling $B$ bestaat van $N$ resten modulo $N^2$ zodat de verzameling $A+B$ op zijn minst de helft van alle resten modulo $N^2$ bevat.