Es sei f : G → B {\displaystyle {}f\colon G\rightarrow B} eine zulässige Färbung auf einem Graphen G {\displaystyle {}G} . Es sei θ : B → B ′ {\displaystyle {}\theta \colon B\rightarrow B'} injektiv.
eine zulässige Färbung auf ist.