ผลต่างระหว่างรุ่นของ "ทฤษฎีบทสี่สี"

นับตั้งแต่ข้อความคาดการณ์นี้ถูกประกาศขึ้นมา ก็มีผู้คนจำนวนมากต้องประสบความล้มเหลวในการพิสูจน์มัน บทพิสูจน์หนึ่งของทฤษฎีททฤษฎีบทนี้คืองานของ [[อัลเฟรด เคมป์]] (Alfred Kempe)ในปี [[พ.ศ.2422]] ซึ่งเป็นชิ้นที่ผู้คนยอมรับกันทั่วไป บทพิสูจน์อีกอันหนึ่งคือของ[[ปีเตอร์ เทท]](Peter Tait)ในปี [[พ.ศ.2423]] จวบจนกระทั่งปี [[พ.ศ.2433]] จึงจะมีผู้แสดงได้ว่าบทพิสูจน์ของเคมป์มีข้อผิดพลาด เขาคือ [[เพอร์ซี เฮวูด]](Percy Heawood) จึงได้แสดงว่าบทพิสูจน์ของเคมป์มีข้อผิดพลาด และใน [[พ.ศ.2434]] [[จูเลียส ปีเตอร์เซน]] (Julius Petersen) จึงได้แสดงว่าบทพิสูจน์ของเททผิดพลาด น่าแปลกใจว่าไม่มีผู้ใดเห็นข้อผิดพลาดเหล่านี้ในบทพิสูจน์แต่ละอันถึง 11 ปี

บทพิสูจน์เริ่มต้นด้วยการลดรูปแบบของแผนที่ทั้งหมดให้เหลือเพียง 1,936 รูปแบบ (และภายหลังสามารถลดลงเหลือ 1,476 รูปแบบ) จากนั้นจึงนำไปตรวจสอบทีละอันด้วยคอมพิวเตอร์ และมีการตรวจสอบซ้ำสองแยกต่างหากโดยโปรแกรมและเครื่องคอมพิวเตอร์ที่ต่างกัน อย่างไรก็ตามบทพิสูจน์นี้มีความยาวถึง 500 หน้า ที่และเต็มไปด้วยตัวอย่างค้านของตัวอย่างค้าน(counter-counter-example) ที่เขียนด้วยมือ โดยส่วนใหญ่เป็นการทดสอบ[[การระบายสีกราฟ]] ของลูกชายวัยสิบกว่า ๆ ของเฮเคน โปรแกรมคอมพิวเตอร์นี้ใช้เวลาทำงานหลายร้อยชั่วโมง