Se estas laŭvolaj aroj, tiam
-
- ,
kie signifas povon de aro
Por tri fina aroj nombro de elementoj de ilia kunaĵo estas:
-
-
-
Se elemento apartenas precize al en aroj . En kunaĵo ĝi estas kalkulata unu fojon. En esprimo
nombro de kalkuloj de sola elemento estas:
,
ĉar ĝi estas en m-aroj en , en aroj kpt.
Ĉar dunomo de Newton esprimo estas , kio pruvas veron de Inkluziveco-ekskluda principo.