s theorem，当且仅当一个图不包含formula_30,以及完全二分图formula_32作为它的一部分时，这个图是平面图。根据Wagner's theorem，当且仅当一个图不包含formula_30,以及完全二分图formula_32作为它的图子式时，这个图时平面图。作为Petersen family的一部分, formula_35起到了一个了类似的作用，为了保证一个图的linkless embedding,它不能作为这个图的图子式出现。 更精确地说，Conway和Gordon 证明了每一个fo