[chapter2] proof chapter2.(3)