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.

Reply

Comments are limited to a maximum of 1000 characters.
More information about formatting options