«Граф является планарным тогда и только тогда, когда он не содержит ни одного подграфа, гомеоморфного К3,3 или К5».
Чтобы определить, является ли граф планарным, нужно удалить все вершины степени 2 и проверить, не содержит ли полученный граф К3,3 или К5.