Kaplan's lemma

GPTKB entity