Fix typos and remove unneeded \\s in proof of 2.5.