If a graph admits a full n-coloring for every n ≥ n0, it admits an infinite full coloring (Fawcett 1978).
Dacă un graf admite o n-colorare deplină, pentru orice n ≥ n0, admite o colorare deplină infinită (Fawcett 1978).