''Если две вершины графа лежат на цикле, то они лежат на простом цикле.''
В в общем случае неверно, так как эти вершины могут лежать в разных компонентах вершинной или рёберной двусвязности: все пути из одной вершины в другую будут содержать одну и ту же точку сочленения или один и тот же мост.
== См. также ==
