quadrant-induction-step The quadrant split preserves the induction hypothesis

OPEN claim · research/quadrant-induction-step.md

Needed by routes

• via-quadrant-induction OPEN Induction on n via the quadrant split

Statement

Place one central L-tromino covering a cell of each quadrant not containing the removed square; each quadrant becomes a half-size instance. Open in this demo: prove it carefully.