A condition for assured 3-face-colorability of infinite plane graphs with a given spanning tree. - Eli Berger; Yanay Soker (Discret. Math., 2018)