Four Color Theorem Applications