上述描述了四色定理完全地充分性必要性证明。验证可以用足够大的高幂多项式的数学组合 (C)简单公式，无悬念地取代1976年及1994年美国阿佩尔、哈肯等计算机，通过足够大的≥亿幂（维次）计算证明。（证毕）。
当然，国内外相关学者、老师、网友，能够读懂现代数学“集与函数”的符号逻辑方法的人，如果很多，能给汪一平先生一锤定音：证明是对的；这当然大家高兴和欢迎。但如果不多，我们第二是想到《日本数学家望月新一称解开最重要数学猜想ABC猜想却无人能懂》的办法：他人读不懂证明不浪费时间，汪一平先生不妨学望月新一，把论文传到国内外真正的专业数学家网络平台上，以便得到公认必须经过同行的严格检验的程序。因为不是国内外著名的专业数学家的检验通过，都不算数；不管追捧的“粉丝”等待这种检视要多长，也必须有准备。认识汪一平先生，是年他寄信来要邮购我们的《求衡论庞加莱猜想应用》等书。他为人平和、热情与执着。年见到他在“探索自由天空”等博客上，声称流体力学、黎曼猜想等被美国克雷数学研究所列为的世纪七大数学难题，其实是一个难题，圆对数新算法或许是有力的竞选者。
圆对数等方法真能解决七大世界数学难题吗？我们曾认真阅读过汪一平先生用贝叶斯概率公式，将爱因斯坦的相对论方程调整为广义的“圆对数方程”，发现他只是用贝叶斯概率公式证明爱因斯坦相对论方程为一种“中性”，即是说它自己就是自己。这是够聪明的智慧，因为所有的状态方程，不是自己在综合自己吗？汪一平先生的这套方法的贝叶斯公式是：·。
