ちょっと計算で楽をしようとしてるんですが
a*b mod kは (a mod k) * (b mod k) mod kと同じですよね？