6.4.20 Теория графов

условие: Доказать, что любой \( k \)-связный граф \( G \), построенный на \( n \geq 2 \) вершинах, \( k \geq 2 \), содержит цикл \( C \), длина которого больше или равна \( 2 k \).