“…If v 1 and v 2 are big, then f 1 sends at least 1 to v by Claim 20(2), and each of f 2 and f 4 sends at least1 2 to v by Claim 20(1). This implies that c ′ (v) ≥ 4 − 6 + 1 and v 3 are big, then every face incident with v sends at least1 2 to v by Claim 20(1), which implies thatc ′ (v) ≥ 4 − 6 + 4 × If exactly one of the vertices among v 1 , v 2 , v 3 , v 4 , say v 1, is a big vertex, then v 2 and v 4 are middle vertices, because otherwise one vertex among v 2 and v 4 is a small vertex and the other is either middle or small, which is impossible since a small vertex is adjacent only to big vertices in G. By Claim 20(1), each of f 1 and f 4 sends at least 1 2 to v. If v 3 is a small vertex, then each of f 2 and f 3 sends1 2 to v by Claim 20(3), which implies thatc ′ (v) ≥ that v3 is a middle vertex. If f 2 and f 3 are 3-faces so that v 3 is an M 8− -vertex, v 2 and v 4 are M 9+ -vertices, then each of f 1 and f 4 sends at least to v by Claim 20(4), and f 2 and f 3 totally sends 2 3 to v by Claim 20(5), which implies that c ′ (v) ≥ 4 − 6 + 2 × Claim 20(5), f 2 and f 3 totally sends at least 1 to v, and thus c ′ (v) ≥ If none of the vertices amongv 1 , v 2 , v 3 , v4 is a big vertex, then they are all middle vertices.…”