Sei
und
und sei
-

Wenn in
weder
noch
vorkommt, so ist
und daher gilt
-

aufgrund der Voraussetzung über die vollständige Unabhängigkeit der Ausgangsfamilie. Wenn
ist, so taucht darin die leere Menge auf und es ist einerseits
-

mit Wahrscheinlichkeit
und andererseits auch
-

Wenn in
der Index
vorkommt, aber nicht
, so ist
-

mit
und somit
-
