First paragraph of proof of thm 3.3