edited proof of corollary - mostly done now