Every small face of G is adjacent to at most one big face,
otherwise G contains two big faces which influence each other. Consequently,
we recolor at most one edge on every small face of G. In this way we obtain a
facial r-acyclic edge-coloring of G which uses at most r + k colors.
ones