Изменения

|proof =

Доказательство необходимости можно посмотреть [[Непланарность_K5_и_K3,3| здесь]], докажем достаточность.

От противного: пусть существует непланарный граф, который не содержит подграфов, гомеоморфных <tex> K_{5} </tex> или <tex> K_{3, 3} </tex>. Пусть <tex> G </tex> — такой граф с наименьшим возможным числом рёбер, не содержащий изолированных вершин.

=== G связен ===