This theorem is usually proved by induction on m, the 'hyper-ness' of the graph.
Το θεώρημα αυτό συνήθως αποδεικνύεται από επαγωγή στο m, το «υπερ-ness» του γραφήματος.