Defines the flip neighborhood N(G) and recasts the colored edge flip
class as a transitive closure rather than a single-step set, then
states Theorem 4.5: no colored flip class of a flip-neighbor of a
minimum-order 5-chromatic G contains G itself. The proof is one
inductive line from the definition; the theorem is intended as the
contradiction target for a future argument that some other condition
would force G into such a class.
didericis
30f137aa06