Załóżmy, że w przestrzeni euklidesowej \(\displaystyle{ \RR^{n}}\) ze standardowym iloczynem skalarnym \(\displaystyle{ < \vec{x} , \vec{y} > = \vec{x}^{T} \vec{y}}\) istnieje baza ortogonalna złożona z wektorów, których współrzędne są równe 1 lub −1. Pokaż, że \(\displaystyle{ n \le 2}\) lub n jest wielokrotnością liczby 4.