The strong perfect graph theorem
historic
Berge guessed perfection means no odd holes; forty years later Chudnovsky–Robertson–Seymour–Thomas proved it in ~150 pages. The capstone of perfection.