Added some proofs in Chapter 2

Still need middle bit of 2B, and proof that the long line is not
metrizable. Haven’t done 2E or 2F.