The proof of the four color theorem is also noteworthy for being the first major computer-aided proof.
Доказ теореме о четири боје је такође вредан пажње јер је први велики компјутерски потпомогнут доказ.