>>583
ルジャンドルの等式を用いて、簡単な解析をすればでてくる。
ルーチンワーク。それ以外の方法に興味があるかもしれない。