The four color theorem is equivalent to the assertion that every planar cubic bridgeless graph admits a Tait coloring.
Teorema celor patru culori este echivalentă cu afirmația că fiecare graf planar cubic fără punți admite o colorare Tait.