Diagonal lemma

(The same argument in different terms is given in [Raatikainen (2015a)].)