Berge's lemma

GPTKB entity