a^n≡b^n (modm) ⇒ a≡b (modm) はいえませんよね?