removed induction from the proof of thm 1.2.3