存在 使得 (都是整数)

0 是任意整数的倍数

整除的性质