Some lemmas are proved.