홀
영국의 필립 홀()이 쾨니그의 정리와 동치인 홀 결혼 정리를 1935년에 증명하였다.