fact: Record coloring (m k : map) : Prop := Coloring { coloring_plain : plain_map k; coloring_cover : subregion (cover k) (cover m); coloring_consistent : submap m k; coloring_adjacent z1 z2 : adjacent m z1 z2 -> ~ k z1 z2 }.
imports: fourcolor(real)