Basic Properties of Integer Divisibility - Expii

For example, if n divides a and b then n divides the sum a+b. Also, if m is divisible by n, then either m=0 or |m|≥|n|.