RE: 4 colour problem