have total size greater than ℓ, so they intersect. The corresponding two edges close a cycle containing all vertices of P.
If ℓ<n−1, connectivity supplies an edge from avertex outside this cycle to avertex on it. Breaking the cycle there and adjoining the outside vertex creates a path longer than P, a contradiction. Hence