Graph G has to be nontrivial in order for the statement
of this Exercise to hold.   So add to the hypothesis
that ``G is nontrivial.''