Hiermit bewiesen: wir haben mindestens k+1 Punkte mit gleichem parity type. Wähle einen. Die Mittelpunkte von diesem zu jedem der k anderen sind verschiedene weitere Punkte auf dem Gitter.
(Alle binomial(k+1,2) Mittelpunkte sind auf dem Gitter, aber wieviele davon sind garantiert unterschiedlich?)
Tatsächlich müssten es aber "viel mehr" blockierte Punkte sein.