additional lemmas