allow using Lemma1