Bliss lemma

GPTKB entity