corrected proof thm 2
minor changes