В чем заключается метод доказательства связности графа через противоречие?

Возможно, имелся в виду метод доказательства от противного при доказательстве связности графа. notes.algoprog.ru studfile.net

Суть метода заключается в том, что предполагают, что граф не связен, а затем приводят противоречие, которое доказывает, что это предположение неверно. studfile.net

Например, можно доказать, что если в графе существует единственный простой путь между любыми двумя вершинами, то граф связен. math.mosolymp.ru Если в нём есть цикл, то возникает противоречие: между любыми двумя вершинами цикла существуют как минимум два простых пути. math.mosolymp.ru