4．ABC猜想获证可以直接证明很多猜想成立