El teorema de los cuatro colores es equivalente a que cada grafo cúbico sin puentes admite una coloración Tait.