6.4-Teorema. taelementi bo`lgan to‘plamning barcha tartiblanmagan elementli qism to‘plamlari soni
ga teng.
Ushbu teoremani umumlashtiramiz:
taelementi bo`lgan to‘plamni ta qism to‘plamlar yig‘indisi ko‘rinishida necha xil usulda yoyish mumkin degan savolni qo‘yamiz. Buning uchun S to`plamni o`zaro kesishmaydigan ta qism to‘plamlarga ajratish mumkin bo`lsin. Bunda ularning elementlari soni mos ravishda
N(A1)=k1, N(A2)=k2 , ... , N(Am)=km bo‘lib, k1, k2 ,..., km berilgan sonlar uchun
shartlar bajariladi. to‘plamlar umumiy elementga ega emas.
to‘plamning k1elementli A1 qism to‘plamini usulda tanlash mumkin, qolgan n-k1 element ichidan k2elementli A2qism to‘plamini usulda tanlash mumkin va hokazo. Turli xilqism to‘plamlarni tanlash usullari ko‘paytirish qoidasiga ko‘ra
Demak, quyidagi teorema isbotlandi.
6.5-Teorema. Aytaylik k1, k2 ,..., km butun nomanfiy sonlar bo‘lib, va to‘plam ta elementdan iborat bo‘lsin. ni elementlari mos ravishda k1, k2 ,..., km ta bo‘lgan m ta qism to‘plamlar yigindisi ko‘rinishida ifodalash usullari soni
ta bo‘ladi.
sonlarga polinomial koeffitsiyentlar deyiladi.