Another result relating the four-color theorem to graph minors is the snark theorem announced by Robertson, Sanders, Seymour, and Thomas, a strengthening of the four-color theorem conjectured by W. T. Tutte and stating that any bridgeless 3-regular graph that requires four colors in an edge coloring must have the Petersen graph as a minor.
Ένα άλλο αποτέλεσμα που αφορα το θεώρημα των τεσσάρων χρωμάτων σε ελάσσον γράφημα είναι το θεώρημα snark που διατυπώθηκε από Robertson, Sanders, Seymour, και Thomas, το οποίο αποτελεί ενίσχυση του θεωρήματος τεσσάρων χρωμάτων που εικάστηκε από την WT Tutte και ότι κάθε μη-γεφυρωμένο 3-κανονικό γράφημα που απαιτεί τέσσερα χρώματα για ένα χρωματισμό άκρου πρέπει να έχει το γράφημα Petersen ως ελάσσον γράφημα.