Es sei φ : G → H {\displaystyle {}\varphi \colon G\rightarrow H} ein Graphhomomorphismus und f : H → B {\displaystyle {}f\colon H\rightarrow B} eine zulässige Färbung