Fuente TeX:

gr_G(y)\geq gr_{G'}(y)=n-2-e \geq n-2-(k-2)=n-k