BigInteger: define $p