No, it is proving that a bunch of things we assumed were optimal because they “looked nice” in a certain sense were wrong because a far uglier solution was better. Example: the tightest way to pack 9 squares into a big one is with a 3x3 grid of side length 3. The best way to pack 11 is this:
