Formalization of Amicable Numbers Theory. - Zhipeng Chen; Haolun Tang; Jingyi Zhan (CoRR, 2026)