Searching for links to HairyBallTheorem: