벡터공간 $\mathbb{R}^8$의 부분공간 $V_1,V_2,V_3,V_4$에서 모든 $1\le i<j\le 4$에 대해 $V_i\cap V_j=\{0\}$이라 한다. 이때 아래 조건을 만족하는 $\mathbb{R}^8$의 4차원 부분공간 $W$가 있다.

모든 $i$에 대해 $W\cap V_i$는 2차원이다.