>>34
すみません。条件が抜けていました。
素数pが十分に大きい時には(p-1)/2は素数ではない、です。