Dev & Type: Доказать, что в связном простом неориентированном графе любые два простых пути максимальной длины имеют общую вершину

Внимание! Представленные ниже доказательства могут быть некорректными. Используйте их на свой страх и риск.