用2页纸证明一个数学猜想，这真不是民科