Suma zbiorów i zawiera elementów, zaś część wspólna tych zbiorów liczy elementy. Stąd wynika, że każdy ze zbiorów na co najmniej elementy (te same). Wiemy, że do sumy zbiorów należy elementów, zatem