【正确答案】设G中有一条长度为l的路，记为Γ=v₀e₁e₂…e_lv_l(v₀=v_i，v_l=v_j)，若l≤n-1，则Γ满足要求，否则必有l+1＞n，即Γ上的顶点数大于G中顶点数。于是必存在k，s，0≤k＜s≤l，使v_s=v_k，即在Γ上存在v_s到自身的回路C_sk，在Γ删除C_sk上的一切边及除v_s外的一切顶点，得Γ'=v₀e₁v₁e₂…v_ke_s+1…e_lv_l，Γ'仍为v_i到v_j的路，且长度至少比Γ减少1，若Γ'还不满足要求，则重复上述过程，由于G是有限顶点数，故经过有限步后，必得到v₁到v_j长度小于或等于n-1的路。