The 4 Color Theorem