Six-Colour Theorem