“…If v 7 is adjacent to a 6-vertex which is adjacent to a 3-vertex y, but v 7 is not adjacent to y, then by Lemma 2.3, v 7 is adjacent to six 7-vertices, and the only charge v 7 receives is 1 from y by Rule 5. If there is a j # [4,5] such that v 7 is adjacent to a j-vertex x which is adjacent to a (9& j)-vertex y, then by Lemma 2.3, every neighbor of v 7 besides x and y is a 7-vertex, and the only charge v 7 receives is at most 1 from x and y by Rules 6 and 9, and ch$(v 7 )=0.…”