ПОИСК Статьи Чертежи Таблицы Действительно, пусть О" — подграф (непустой) графа О, состоящий из линий, для которых W фO. Так как Wi должны удовлетворять законам сохранения графа О, то они должны удовлетворять и законам сохранения графа О", что возможно (поскольку WiфO на О") лишь в том случае, когда О" имеет по меньшей мере один цикл. [Выходные данные]