习题 4, § 6

令S，T为$\mathbf{R}^n$中的两个有限集合，没有公共的点，使得它们的并包含至少为$2n + 2$点。那么存在将 S 与 T 分开的超平面，当且仅当，对于 $2n + 2$ 点的每个有限集合 $F \subset S \cup T$，存在超平面将 $F \cap S$ 与 $F \cap T$ 分开（使用 exerc.3 和方法） II、p. 78、练习 15)。