Math S Map Coloring Problem The First Proof Solved By A Computer