add proof of lemma in adjunct