Use Menger's theorem to prove the Konig-Egervary theorem