fixed proof in chapter2part2