partial proof of konig theorem