Theorem 10.6.3.
დაამტკიცეთ, რომ დაწყვილება შესაძლებელია მაშინ და მხოლოდ მაშინ, როცა გოგოების სიმრავლის ყოველ ქვესიმრავლეს უფრო მეტი ან ტოლი რაოდენობის ბიჭი მოსწონს, ვიდრე ამ ქვესიმრავლეში გოგოა (ანუ რამდენი/რომელი გოგოებიც არ უნდა ავარჩიოთ, მათ ჯამში თავიანთ თავზე მეტი ან ტოლი რაოდენობის ბიჭი უნდა მოსწონდეთ)
დამტკიცება. ჯერ დავუშვათ, რომ გვაქვს დაწყვილება და ვაჩვენოთ, რომ ეს პირობა სრულდება. განვიხილოთ გოგოების ზოგადი ქვესიმრავლე. ყოველ გოგოს ერთი ბიჭი მაინც მოსწონს - ის, რომელთანაც დაწყვილებულია. მაშასადამე, გოგოების ნებისმიერი ქვესიმრავლის ზომა მათ მიერ მოწონებული ბიჭების სიმრავლის ტოლი მაინც არის. ამ მხრივ, დებულება ჭეშმარიტია.
ახლა ვაჩვენოთ, რომ თუ პირობა სრულდება, გვაქვს დაწყვილება. წიყენებთ ინდუქციას |G|-ზე, გოგოების რაოდენობაზე.
Base Case: თუ |G| =1, მაშინ პირობის მიხედვით, მას ერთი ბიჭი მაინც მოსწონს, ანუ დაწყვილება არსებობს.
ინდუქციური ბიჯი: დავუშვათ |G|≥ 2. არის ორი ვარიანტი:
ვარიანტი 1: გოგოები ყოველ ქვესიმრავლეს მოსწონს ბიჭების მკაცრად დიდი ქვესიმრავლე. ამ შემთხვევაში ასე ვიქცევით: რომელიმე გოგოს ვაწყვილებთ ბიჭთან, რომელიც მას მოსწონს და ორივეს "ვუშვებთ". დარჩენილ ხალხზე ჩვენი პირობა მაინც სრულდება და დანარჩენ გოგოებს ინდუქციურად ვაწყვილებთ.
ვარიანტი 2: გოგოების რომელიმე ქვესიმრავლე X ⊂ G მოსწონს ტოლი რაოდენობის ბიჭი - Y ⊂ B. გოგოებს X-იდან ინდუქციურად ვაწყვილებთ Y-ის ბიჭებთან და "ვუშვებთ" მათ. დანარჩენი გოგოებიც შეგვიძლია ინდუქციურად დავაწყვილოთ, თუ ვაჩვენებთ რომ პირობა სრულდება. ამისათვის განვიხილოთ დარჩენილი გოგოების ზოგადი ქვესიმრავლე - X' ⊆ (G − X), ხოლო Y' იყოს მათ მიერ მოწონებული ბიჭების სიმრავლე. უნდა ვაჩვენოთ, რომ |X'|≤|Y'|. თავდაპირველად, X ∪ X'-ს გოგოებს მოსწონდათ Y ∪ Y'-ის ბიჭები. ასე რომ, პირობის თანახმად:
|X ∪ X'|≤|Y ∪ Y'|
გავუშვით |X| გოგო მარცხენა სიმრავლიდან (დარჩა X') და მაგდენივე ბიჭი გავუშვით მარჯვენიდან (დარჩა Y'). მაშასადამე |X'|≤|Y '|, რისი დამტკიცებაც გვინდოდა.
ასე რომ, ორივე ვარიანტში შეგვიძლია გოგოები დავაწყვილოთ.