If a graph admits a full n-coloring for every n ≥ n0, it admits an infinite full coloring (Fawcett 1978).
Ha egy gráfnak van teljes n-színezése minden n ≥ n0-ra, akkor létezik végtelen teljes színezése (Fawcett 1978).