Wagner (1937) determined the precise structure of K5-free graphs, as part of a cluster of results known as Wagner's theorem: Theorem 2.
Ο Wagner (1937) προσδιόρισε την ακριβή δομή των Κ5-ελευθέρων γραφημάτων, ως μέρος ενός συμπλέγματος αποτελεσμάτων που είναι γνωστά ως θεώρημα του Wagner: Θεώρημα 2.