Prove that for any positive integers m and n, the check digit code in Zⁿ_m with check vector c = 1 = [1, 1, . . . , 1] will detect all single errors. (That is, prove that if vectors u and v in Zⁿ_m differ in exactly one entry, Then c · u ≠ c · v .)