3.1.先证明弱版ABC猜想