Searching for links to FourColourTheorem: