実装

カラツバ法というものがよさそうだ。
あと、二進階乗アルゴリズムについてもとてもいいものがあることが判明した。
ただこれを実装するにはModuler Reductionを再実装しないといけなくて、
それが重いから何とも言えない。
逆元を求めるのは拡張ユークリッドアルゴリズムを使ってるけど、
もっと高速化できんものかね…