mutilated-board-color-count Opposite corners share a color, leaving a 32–30 imbalance

ESTABLISHED claim · research/mutilated-board-color-count.md

via route prove-color-count

Routes into this claim

• prove-color-count COMPLETE Direct computation of the color census

Needed by routes

• via-color-counting COMPLETE Color-counting argument

Statement

Diagonally opposite corners have the same color, so removing both leaves 32 squares of one color and 30 of the other.