xxx が正なら、既彩色の隣接点は順序の前にある x−5,x−7,x−12x-5,x-7,x-12x−5,x−7,x−12 に限られ、xxx が負の場合も対称である。したがって既彩色の隣接点は高々3個で、禁止色も高々3色である。