Let the number of type 1, type 2, type 3 edges of be respectively, so that is the degree of and we want to show that for some, we have .
Hayaan ang bilang ng mga uri ng 1, i-type 2, uri ng 3 mga gilid ng maging ayon sa pagkakabanggit, upang ay ang antas ng at gusto naming ipakita na para sa ilang, Kami ay may .