van der Corput lemma

GPTKB entity