Is the Four-Color Theorem a Real Analysis problem? | Synapse