4 Color Theorem And Axioms