Pが素数でないmod_P