The four color theorem is a beloved result with a long and fascinating history. The theorem says that four colors suffice to color any map so that no two bordering regions are the same color. The conjecture was made in 1852 by Francis Guthrie. After many, many failed proofs, the conjecture was finally put to…