是挺奇怪的。估计是证明过程有很大漏洞(leap of faith),但不是证明错误。 需要老张继续填坑，毕竟岁数大了
--
FROM 122.4.122.*