Re: if (a,m)=1, then ax\equiv 1 (mod m) has a unique sol.

Hmm...

I don't know about that. What we are trying to prove is that there is a unique value for (up to congruence modulo ) satisfying (where are fixed). I don't think that what you have done gives us the uniqueness.