new proofs, minor changes, 3 started