Betrachte eine endliche Teilmenge W der euklid'schen Ebene R2,
die
nicht den Null-Vektor enthält,
mit folgender Eigenschaft:
Sind w, w' in W und spiegelt man w'
an der zu w orthogonalen Gerade,
so ist das Bild w" wieder in W
und der Vektor w"-w' ist
ganzzahliges Vielfaches von w.
Behauptung