If there is a graph requiring 5 colors, then there is a minimal such graph, where removing any vertex makes it four-colorable.
Αν υπάρχει κάποιο γράφημα που απαιτεί 5 χρώματα, τότε υπάρχει ένα παρόμοιο ελάχιστο γράφημα, το οποίο απομακρύνοντας κάθε κορυφή γίνεται τεσσάρων χρωμάτων.