充要条件:存在

互素的性质