Les noeuds t_j^{j Î J} sont alors aussi coloriables dans G(j⁺⁺(A)) (on inclut les noeuds t_j^{j Î J} et on remplace A par j⁺(A) dans le raisonnement précédent).