Dans ce cas, les noeuds r_i^{i Î I} sont aussi coloriables dans G(j ^#(A)). Par conséquent, il existe un coloriage pour lequel l'ensemble S des noeuds non coloriables est un sous ensemble de Q égal à q_i^{i Î I}. Comme les temporaires S n'apparaissent que dans des instructions de la forme mmv Q_j,  p_j (où Q_j Ì Q) ou bien move r_i,  q_i, il suffit de remplacer les premières par sw p_j, 0($sp) suivi de mmv Q_j \ S,  p_j et les secondes par lw r_i, 0($sp) pour obtenir le code j ^¥(A). Le graphe d'interférence résultant est un sous-graphe du précédent, sans les noeuds mis en pile, donc il est coloriable, avec les mêmes couleurs. Aussi on n'a pas besoin de refaire un nouveau coloriage.