Sonia C-I Chen, . J. Y. X. T. C. L. . A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm. converter 2021, 449-458.