いくつか命題を証明していきたい. 奇素数pを法とすると平方剰余の個数は(p-1)/2個となる \(A := \{x^{2} \, mod \, p \mid x \in GF(p) \} \) としたときに, \( \#A = \frac{p-1}{2} \) となることを示したい. まず\(GF(p) = \{1, 2, ..., p-1 \}\), \(\#GF(…