Given a positive integer m, let Tm = {a in N | aΦ8m ≡ 1 (mod 8m), 1 ≤ a ≤ 8m}. If aΦ8m≡ 1 (mod 8m), show that (a, 8m) = 1.