Dilworth_Countable.Koenig_Egervary_finite