Potrzebuję dowodu twierdzenia Halla za pomocą Twierdzenia Koniga.
Twierdzenie Halla: W grafie dwudzielnym istnieje skojarzenie pełne wtw gdy \(\displaystyle{ \forall_{S \subset P } | N_{S}(G)| \ge |S|}\)
S-dowolny podzbiór zbioru P
Twierdzenie Koniga: moc największego skojarzenia jest równa się mocy najmniejszego pokrycia.