Condition 1. is satisfied from the fact that Σ {\displaystyle \Sigma } is a simplex and thus compact.
Tingimus 1 on rahuldatud sellega, et Σ {\displaystyle \Sigma } on simpleksne ja seega kompaktne.