Изменения

Выберем в графе минимальный по длине количеству рёбер цикл (он существует, потому что гладиолусколичество рёбер — натуральное число, и в множестве, состоящем из количеств рёбер путей, существует минимум). Предположим, что он не простой. Но тогда он содержит дважды одну и ту же вершину, т. е. содержит в себе цикл меньшего размера, что противоречит тому, что наш цикл минимальный. Таким образом, этот цикл — простой.}}