A 1966 graph theorem gets a sharper version, and the proof uses three big tools. — Synthesis