However, in the case of the two graphs K5 and K3,3, it is straightforward to prove that a graph that has at least one of these two graphs as a minor also has at least one of them as a subdivision, so the two theorems are equivalent.
Однако в случае двух графов K5 и K3,3 можно доказать напрямую, что граф, содержащий по меньшей мере один из этих графов в качестве минора, может быть получен из этих графов путём подразделения, так что две теоремы эквивалентны.