A 任意两个不同的质数一定互素

B 1和任何正整数互素

C 若a|bc 且 gcd(a,b)=1，则a|c

D 若 gcd(a,b)=1，则 a 和 b 都是质数