��如程诺所出的那样。

  谷山志村猜想和程氏复环猜想两者一体，一个成立，另一个一定会成立。

  因此，程诺的工作，并非需要两个全部证明，只需要证明其中的一个。

  …………