Small covers and the Four Color Theorem

We give a combinatorial proof that every simple convex $3$-polytope admits a small cover without using the Four Color Theorem. We also prove that the assertion that every simple plane triangulation admits a mod~$2$ characteristic function with at most five values is equivalent to the Four Color Theorem.