proposition: Lemma red214to234 : reducible_in_range 214 234 the_configs.
proof: Proof. CatReducible red214to218 red218to222 red222to226 red226to230 red230to234. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job215to218 job219to222 job223to226) fourcolor(job227to230 job231to234)