猜想：瓦格纳猜想。它很早就被提出，直至1970年才发表。在他们证明的过程中，西摩和罗伯逊也同时证明了。对于一个给定的图"H"，这个定理刻画了不包含"H"-子式的图的结构。这个定理的严格表述又长又复杂，但是简而言之，它证明了这样一个图必须具有由嵌在有界亏格曲面上的图以小方式修改而成的图的结构。因此，他们的理论建立了图子式和图的拓扑嵌入之间的基本联系。对于任意图"H"，无"H"-子式的简单图必须是稀疏的，即图的边数小于等于一个常数倍的图的阶数。更精确地，如果图"H"有"h"个点，那么有"n"个顶点的不包