Copyright (c) 2026 Alper Ferudun.

This original manuscript, its source, and the accompanying original verification
material are licensed under the Creative Commons Attribution 4.0 International
License (CC BY 4.0): https://creativecommons.org/licenses/by/4.0/

The license does not relicense separately cited third-party works. No third-party
research PDFs are included in this public source package.

This is an unrefereed preprint. Publication and a DOI are not certification of
mathematical correctness or novelty. Independent mathematical review and
proof-assistant verification have not been completed.
