[chapter2] proof chapter2.(4)