fixed a proof in ch8