A property of $J$-semisimple rings I'd like a little help on how to begin this problem.  
Show that a PID $R$ is Jacobson-semisimple $\Leftrightarrow$ $R$ is a field or $R$ contains infinitely many nonassociate irreducible elements.  
Thanks.

HINT $\ $ A PID  has a nonzero element divisible by every prime iff it has finitely many primes.
NOTE $\ $ This holds much more generally. We have the following generalization to Krull domains (e.g. UFDs and Noetherian integrally-closed domains, e.g. Dedekind domains, number rings)
THEOREM $\ $ A Krull domain has a nonzero element in every nonzero prime ideal iff it is a PID with finitely many primes.
For a proof see e.g. Theorem 1 in Gilmer: The pseudo-radical of a commutative ring.
