Sentence:  Given a prime number p, there is only a finite number of <WSD>prime ideals</WSD> \mathfrak{p} in \mathfrak{o} such that \mathfrak{p}\cap J=p (they are the <WSD>prime ideals</WSD> of \mathfrak{o}p). 
Meaning of the word marked with <WSD> tags:  Any (two-sided) ideal I such that for arbitrary ideals P and Q, PQ\subseteq I\implies P\subseteq I or Q\subseteq I.