テイラー展開はよく知らないけど、合同式は大数の受験参考書にも書いてある
し、使っても無問題では？整数問題の多少複雑なヤツになったらだいぶ楽に
なるというし。