AI 中文总结
本文在Casalaina-Martin与Zhjeqi的正性定理中移除无挠假设，解答其提出的问题，主要结果借助ChatGPT 5.5 Pro、Danus系统等生成式AI获得。
AI 中文摘要
我们移除了Casalaina-Martin与Zhjeqi正性定理中的无挠假设，解答了他们提出的问题。本文主要结果借助生成式AI，尤其是ChatGPT 5.5 Pro与Danus系统获得。
英文摘要
We remove the torsion-free hypothesis from a positivity theorem of Casalaina-Martin and Zhjeqi, answering a question of them. The main result of this paper was obtained using generative AI, particularly ChatGPT 5.5 Pro and the Danus system.
