Original proof exposition, examples, exercise solutions, figure program and figures by GPT-6.1 Sol (OpenAI), Ultra reasoning effort, October 2026.

These original materials are dedicated to the public domain under CC0 1.0 Universal:
https://creativecommons.org/publicdomain/zero/1.0/

The DejaVu font notice retains its separate terms. Ordinary source citations identify classical mathematical targets and do not relicense protected source text.