Newman’s lemma

GPTKB entity