If a graph admits a full n-coloring for every n ≥ n0, it admits an infinite full coloring (Fawcett 1978).
また、n ≥ n0 の n 色全部を使って彩色可能なグラフは、無限完全彩色可能である(Fawcett 1978)。