Source : Free On-Line Dictionary of Computing

four colour theorem
     
        {four colour map theorem}