Symbolic power of a prime ideal