Es sei (M,P){\displaystyle {}(M,P)} ein endlicher Wahrscheinlichkeitsraum und es seien Ei⊆M{\displaystyle {}E_{i}\subseteq M}, i=1,…,n{\displaystyle {}i=1,\ldots ,n}, Ereignisse in M{\displaystyle {}M}. Für eine Teilmenge J⊆{1,…,n}{\displaystyle {}J\subseteq \{1,\ldots ,n\}} sei
Beweise die folgende Formel für die Wahrscheinlichkeit