text: Для k = 7 {\displaystyle k=7} известно, что если граф не удовлетворяет гипотезе, то он стягиваем и к K 4 , 4 {\displaystyle K_{4,4}} , и к K 3 , 5 {\displaystyle K_{3,5}} — полным двудольным графам с долями мощности 4 и 4 и мощности 3 и 5 соответственно.