More correx to the 3.6 proof. Three cases left to redo.