removed trivial lemmas not needed anywhere