[chapter2] proof chapter2.(1)