{\displaystyle k} 种颜色的恰当的染色方式使得 k − 1 {\displaystyle k-1} 种颜色均出现在鄰域(英语:Neighbourhood (graphtheory)) N ( v ) {\displaystyle N(v)} 中。 证明:由于色临界图的定义知, χ ( G − v )
N_{G}(W)} 為 W {\displaystyle W} 在 G {\displaystyle G} 中的鄰域(英语:Neighbourhood (graphtheory)),即 Y {\displaystyle Y} 中與 W {\displaystyle W} 至少一點有連邊的全體頂點之集。霍爾定理斷言,存在