\section*{Use of AI tools}
\addcontentsline{toc}{section}{Use of AI tools}

OpenAI's ChatGPT and Codex (GPT-6) were used to develop the proof and
prepare the manuscript. The human author takes full responsibility for
the mathematical arguments and the final manuscript.