Small corrections to theorem environments.
Published new post on greedy edge-colouring.