Harborth's Conjecture for 4-Regular Planar Graphs. - Daniel J. Chang; Timothy Sun (GD, 2024)