Every planar graph is four-colourable in quadratic time
В английской википедии со статьи «Five colour theorem» до сегодняшнего дня на работу «Robertson, Neil; Sanders, Daniel P.; Seymour, Paul; Thomas, Robin (1996), "Efficiently four-coloring planar graphs", Proc. 28th ACM Symposium on Theory of Computing (STOC), New York: ACM Press.» стояла только ссылка, по которой работу предлагалось купить за 15 долларов. Но вот же она, родимая, по ссылке со странички Робина Томаса!