Tait, in 1880, showed that the four color theorem is equivalent to the statement that a certain type of graph (called a snark in modern terminology) must be non-planar.
Το 1880, ο Tait απέδειξε ότι το θεώρημα των τεσσάρων χρωμάτων είναι ισοδύναμο με τη δήλωση ότι ένας συγκεκριμένος τύπος γραφήματος (ο οποίος καλείται snark στην μοντέρνα ορολογία) πρέπει να είναι μη επίπεδος.