>>17
pが素数ならば(p-1)/2は素数ではないと
思いますけど。タイプミスですか?