The Theorem

Not every crease pattern can be folded flat. Draw a few lines meeting at a point, assign each one a mountain or a valley, and you may find the paper simply refuses — it buckles, it fights, it will not lie down.

There is a way to know in advance. Around any single point where creases meet, measure the angles between them. Walk around the point and add every other angle: the first, the third, the fifth. Then add the ones you skipped. If the paper can fold flat, those two sums are equal — and each is exactly a half-turn, 180 degrees.

That is Kawasaki's theorem, and it is close to miraculous in its simplicity. A single point, with no knowledge of the rest of the sheet, carries within its angles the answer to whether it can ever be flat.

We should be honest about its limits — because we always will be here. Kawasaki's test is exact for one point. But a whole pattern, with hundreds of points, is a harder question: the layers must also avoid passing through one another, and that problem, mathematicians proved in 1996, is genuinely hard — the kind of hard that has no shortcut. A pattern can pass the test at every point and still fail as a whole.

This is why every fold we publish is checked, point by point, before it ever reaches you. The ones that cannot lie flat do not get a name.

We named this fold The Theorem for the small astonishment of it — that a point should know its own future.

The song is built the same way: a rule, stated simply, then followed exactly.