• 加负号不影响

因为最大公因子是正数

整除的性质 得出

有一个是 0,则是另一个的绝对值