Four-colour theorem