Four colour problem