prove-color-balance Direct proof by adjacency

COMPLETE route · research/prove-color-balance.md

Target

• domino-color-balance ESTABLISHED Every domino covers one dark and one light square

Statement

A domino covers two edge-adjacent squares, and the coloring assigns adjacent squares opposite colors.