Nach der Bayesschen Formel gilt
und ebenso unter Verwendung von M ∖ ( M ∖ B ) = B {\displaystyle {}M\setminus {\left(M\setminus B\right)}=B}
Somit gilt