Let \(F \supset E\) . Then by [1]} and the outward-minimality of \(E_i\)  we have
\(P(E_i \cap F) \le P(F)+P(E_i)-P(E_i \cup F) \le P(F).\) 

Пусть \(F \supset E\). Тогда по [1] и внешней минимальности \(E_i\) имеем

\(P(E_i \cap F) \le P(F)+P(E_i)-P(E_i \cup F) \le P(F).\)