proof up to ch2