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

ESTABLISHED claim · research/domino-color-balance.md

via route prove-color-balance

Routes into this claim

• prove-color-balance COMPLETE Direct proof by adjacency

Needed by routes

• via-color-counting COMPLETE Color-counting argument

Statement

Under the standard coloring, any 2×1 domino covers exactly one dark square and exactly one light square.