Es seien M 1 , M 2 , … , M ℓ {\displaystyle {}M_{1},M_{2},\ldots ,M_{\ell }} endliche Mengen. Zeige durch Induktion über ℓ {\displaystyle {}\ell } unter Verwendung von Fakt, dass
gilt