Stability over a predicate and prime closure

We prove that in a theory $T$ stable over a predicate $P$, for any $\lambda >\mathrm{\mid }T\mathrm{\mid }$, there is a $\lambda$-prime model over any complete set A with a $\lambda$-saturated $P$-part.