已知abc是3个彼此不同的质数