corrected proof thm 2