“…By (R1), H 4 gets 1 2 · 4, 1 2 · 6, 1 2 · 6 from adjacent 8 + -faces in (4), (5), (6), respectively. If any vertex in H 4 is on C, then by (R5), H 4 gets at least 2, 1, 1 from C in (4), (5), (6) respectively, so µ * (H 4 ) ≥ 0. If H 4 is internal, then by (R2), in (4) it gets 1 2 from each of u, v, w, x, in (5) it gets 1 2 from each of v and y, and in (6), it gets 1 2 from each of v, w, x.…”