Assertion: bridgeless graph | /r/CapableOf | admit a tait coloring
Facets:
Source sentences:
text: The four color theorem is equivalent to the assertion that every planar cubic bridgeless graph admits a Tait coloring.