是的,如果a和b互质(最大公约数为1),且a不等于1,那么a不整除b与a不等于1是等价的。因为如果a整除b,那么它们不可能互质,因为它们有一个共同的因子。反之,如果a不整除b,那么它们互质,因为它们没有共同的因子(除了1)。