逆元ってアルゴリズムなのか