Revised 6.10 proof, now using induction hypothesis.