Exchange lemmas 1: Deng's Lemma
scientific article; zbMATH DE number 5299425