improved first half of proof of them 3.3.