The proof for 6.5 is incomplete.
The proof for 6.5 is incomplete.