add more to konig's theorem