Verstraëte, Jacques. “Cycle Lengths in Planar Graphs”. Utilitas Mathematica, vol. 69, May 2006, https://utilitasmathematica.com/index.php/Index/article/view/433.