JBMO-SL 2007 C1
We call a tiling of an rectangle with corners (see figure below) "regular" if there is no sub-rectangle which is tiled with corners. Prove that if for some and there exists a "regular" tiling of the rectangular then there exists a "regular" tiling also for the rectangle.

Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.