According to the theorem of Kőnig (1916), every bipartite regular graph has a 1-factorization.
Σύμφωνα με το θεώρημα του Kőnig (1916), κάθε διμερές κανονικό γράφημα έχει μία 1-παραγοντοποίηση.