Let V be an inner product space, let W be a finite dimensional subspace of V. Prove that if x ‡ W then there exists y ≤ W¹ with (x, y) ‡ 0.