あ、最初のほうが正しいですね。

訂正します:

>>34

a = 1
b = 1
p = 2
m = 1
f(1) = 1

とする。

b^2 + 4*a = 1 + 4 = 5 ≡ 1 = 1^2 (mod p)

f((p - 1)*m) = f(1) = 1 は p = 2 の倍数ではない。