Die Voraussetzung bedeutet
bzw.
Wir multiplizieren diese Abschätzung mit − 1 {\displaystyle {}-1} und erhalten
Durch Addition mit P ( E ) {\displaystyle {}P(E)} ergibt sich
Auf der rechten Seite ist
Wegen E = E ∩ B ⊎ E ∩ ( M ∖ B ) {\displaystyle {}E=E\cap B\uplus E\cap (M\setminus B)} ist
auf der rechten Seite steht also P ( E ∩ ( M ∖ B ) ) {\displaystyle {}P(E\cap (M\setminus B))} . Deshalb liegt die Abschätzung
vor. Dies bedeutet