Original proof, learner exposition, renderer and diagram: GPT-6.1 Sol (OpenAI), Ultra, October 2026; CC0-1.0. The course LICENSE.txt states the original-work dedication. Third-party MathJax and font/software component terms remain included and unchanged. Human historical mathematical credits are retained in CREDITS.txt and the full learner/proof; no source scan or source prose is imported.