Изменения

Если в G существует минор содержащий <tex> K_{3, 3} </tex>,значит существуют вершины множества вершин <tex> U_{1} </tex>,<tex> U_{2} </tex>,<tex> U_{3} </tex>,<tex> W_{1} </tex>,<tex> W_{2} </tex>,<tex> W_{3} </tex> попарно не пересекающиеся, образующие индуцированный связанный подграф G, такие что для каждого i и j существует <tex> {u_{i, j} \in U_{i}} </tex> и <tex> {w_{i, j} \in W_{j}} </tex>, такие что (<tex> {u_{i,j}} </tex>,<tex> {w_{i,j}} </tex>) принадлежит множеству ребер исходного графа. Следовательно для каждого i существует поддерево в G с тремя листами как минимум, по одиному лист в каждом <tex> W_{j} </tex>, и с его другими вершинами внутри <tex> U_{i} </tex>. Ситуация с j симметрична.