Talk:Berge's theorem

Untitled
Can someone please how Corollary 1 is actually a corollary of Berge's Lemma?

Why "Lemma" ? In all three references to this article its called theorem.--Claude J (talk) 20:06, 19 November 2017 (UTC)