All graphs considered here are finite, simple and undirected.
Let $\mathscr{G}$ denote the class of cubic plane graphs for which all face boundaries are of length divisible by four. The 3-cube $Q_3$ is a member of $\mathscr{G}$ (perhaps, the smallest member of $\mathscr{G}$). By an indirect proof, one can prove the following by combining some existing results:
- For every graph $G\in\mathscr{G}$, the number of vertices in $G$ is divisible by 8.
Can you prove this by an elementary method?
I would like to get a feel of the class $\mathscr{G}$; so, indirect proofs are also welcome (as they may show some properties of the class I am not aware of).