P 1 n 1 mod p