[chapter2] proof chapter2.(5)