Some lemmas to be applied to the Eisenstein series