4で割って1あまる素数 に対してをみたす整数 が必ず存在することは「平方剰余の相互法則」の「第一補充則」と呼ばれ、よく知られていますね。 一方で、上の事実だけからは「 がどのような数であるか」についてはわかりません。具体的に を求める方法はないの…