Sea $ S$ un conjunto que contiene $ n$ elementos. Sean $ A_{1},A_{2},\cdots,A_{k}$ $ k$ subconjuntos distintos de $ S$ , donde $ k\geq 2, |A_{i}| = a_{i}\geq 1 ( 1\leq i\leq k)$ . Demuestre que el número de subconjuntos de $ S$ que no contienen ningún $ A_{i} (1\leq i\leq k)$ es mayor o igual que $ 2^n\prod_{i = 1}^k(1 - \frac {1}{2^{a_{i}}}).$