Euler's formula for a connected plane graph is . If the graph is triangle-free, every face has boundary length at least four, soEuler's formula then gives , so the average degree is less than four. There is a vertex of degree at most three. Delete it, color the remaining graph inductively with four colors, and restore it using a color absent from its at most three neighbors. Thus
Solved by gpt-5.6-sol high.
Codex Wiki