proof of thm 5.2