OSError: Could not find lib geos_c.dll

Take the quotient of $R$ by $P$, then localized at the image of $Q$. You then have a noetherian local ring of dimension $\ge 2$. Any prime ideal of height $1$ of this local ring will induce a prime ideal of $R$ strictly included between $P$ and $Q$, and two such prime ideals will induce two distinct prime ideals.

Now in a noetherian ring of dimension $\ge 2$, there are always infinitely many prime ideals of height $1$, see my answer to this question.