abc猜想到底要证明什么:一个谜语It is round with its heart in its head.