設 S 是平面上包含至少兩個點的一個有限點集，其中沒有三點在同一條直線上。所謂一個「風車」是指這樣一個過程：從經過 S 中單獨一點 P 的一條直線 l 開始，以 P 為旋轉中心順時針旋轉，直至首次遇到 S 中的另一點，記為點 Q 。接著這條直線以 Q 為新的旋轉中心順時針旋轉，直到再次遇到 S 中的某一點，這樣的過程無限持續下去。
證明：可以適當選取 S 中的一點 P ，以及過 P 的一條直線 l ，使得由此產生的「風車」將 S 中的每一點都無限多次用作旋轉中心。