Doran's lemma

GPTKB entity