Claim:⟦k⟧ m is a unit if and only if gcd(k,m) = 1

From CS2800 wiki