2000年前就发现了，只是没有现在形式。
当时是如何想到这种证明方法的， 是某一个人想出来，还是经过很多人讨论多年想出来的？
--
FROM 223.104.151.*