诺为证明BSD猜想推演出的两个定理：椭圆阿贝尔群定理、代数周期求和定理，以及一个虚点，程氏虚点！

总共四篇论文，工作量相当庞大。

一直忙忙停停，用了将近一个月时间，直到2018年1月20日，两人才完成这四篇论文的撰写。

《BSD猜想的三步法证明》，214页！

《椭圆曲线中阿贝尔群定理的推导》，54页！

《半曲面映射下的程氏虚点》，67页！