proof of theorem complete assuming inveresion lemmas