Irreducible configurations and the four color conjecture