Linked from

The 4 pages that link to Wagner's theorem, each with the reason it gives.

• Planar graphRelated: It gives a minor-based characterization parallel to Kuratowski’s subdivision criterion.

• Graph minorRelated: It gives a concise forbidden-minor test for planarity.