>>782 >>785なんですが

偶然>>781に合成写像が全単射ならfは単射とあったのを見て思ったんですが
782,785でm乗したあとm*k ≡ 1 mod (p-1)(q-1)になる数kを探してk乗するとm乗する前の数に戻ることは分かっているので、
m*k乗してnで割った余りを取るのが全単射ならm乗は単射になって、
元の数が同じ有限集合だから単射なら全単射になるってことでいいんですかね？