I made this math short without opening a video editor. The animation is React code (Remotion), the geometry is exact, and the soundtrack is synthesized in Python, synced so chords change on scene cuts. One template, and every new proof is basically a config change. Doing a