Twierdzenie o prawdopodobieństwie całkowitym: Jeżeli zdarzenia , , ..., są parami rozłączne oraz mają prawdopodobieństwa dodatnie i których suma jest równa , to dla dowolnego zdarzenia zachodzi