שינויים
/* תרגיל */
אם אין קודקוד כזה אז נוכל להגדיר <math>f:V\to \{0,1,\dots n-2\} </math>.
בשני המקרים קיבלנו כי <math>#|dom(f)|=#|V|=n, #|Im(f)|=n-1</math> ולכן <math>f</math> אינה חח"ע.
כלומר קיימים <math>v_1\neq v_2</math> כך ש <math>f(v_1)=f(v_2)</math> כלומר בעלי דרגה שווה
