text: Очевидно, что для каждого p {\displaystyle p} y p ∈ ∑ n F n , {\displaystyle y_{p}\in \sum _{n}^{}F_{n},} при этом v ∈ C o n v ( ∑ n F n ) . {\displaystyle v\in Conv(\sum _{n}^{}F_{n}).} Таким образом, мы заменили каждое множество Q n {\displaystyle Q_{n}} конечным подмножеством F n {\displaystyle F_{n}} .