Creați o întrebare cu variante de răspuns bazate pe informațiile furnizate și oferiți răspunsul corect.
Teorema celor patru culori afirmă că orice hartă dintr-un plan poate fi colorată folosind patru culori astfel încât regiunile care au o limită comună, alta decât un singur punct, nu au aceeași culoare. Acesta a fost inițial dovedit de Kenneth Appel și Wolfgang Haken în 1976, folosind o metodă asistată de calculator.
Întrebare: Cine au fost matematicienii care au dovedit inițial Teorema celor Patru Culori în 1976? 
A) John Nash și Kurt Gödel
B) Alan Turing și John von Neumann
C) Kenneth Appel și Wolfgang Haken
D) Andrew Wiles și Richard Borcherds
Răspuns: C) Kenneth Appel și Wolfgang Haken