Add lemma for NST