うろ覚えなんだけどGarnerって例えばmod 6のときはmod 3での2の逆元を求められればいいんじゃなかったっけ
素因数分解できたらいつでも使える印象なんだが