若 a×b≡a(mod n)a \times b \equiv a (\text{mod} \ n)a×b≡a(mod n),若把它化成 b≡1(mod n) b \equiv 1 (\text{mod} \ n)b≡1(mod n),需要满足什么条件?