A version of this theorem proved by Wagner (1937) states that if a graph G is both K5-free and K3,3-free, then G is planar.
Μια έκδοση αυτού του θεωρήματος αποδεικνύεται από τον Wagner (1937) ο οποίος αναφέρει ότι αν ένα γράφημα G είναι και Κ5–ελεύθερο και K3,3-ελεύθερο, τότε το G είναι επίπεδο γράφημα.