G needs to be assumed connected in the statement. Otherwise the disjoint union of K_k and a vertex (say) would be a counterexample.
Statement needs connected assumption
G needs to be assumed connected in the statement. Otherwise the disjoint union of K_k and a vertex (say) would be a counterexample.