THE BEAUTY OF CANCELLATION — Christopher Yamba / Yamba AI Math

Upload 01 through 06 in order for an Instagram or Facebook carousel.
The images are 1080 x 1350 pixels (4:5). The silent H.264 MP4 is 30 seconds,
1080 x 1350, 30 fps, with no third-party music. Captions and image descriptions
are in captions.md. The VTT file provides the text transcript/caption track.

Full illustrated article:
https://www.christopheryamba.com/posts/the-beauty-of-cancellation/

Attribution: established theorem and insertion by Soojin Cho and JiSun Huh;
coloring/alternant bridge by John Shareshian and Michelle L. Wachs.
The project contributes the completed height-two Lean formalization.
No claim to a new general-height open-problem solution is made.

The cosmic cover and hero are AI-generated conceptual artwork. Mathematical
diagrams are exact authored illustrations, not proof-checker output.
