Let $\mathcal{O}_{K}$ be a integer ring of a number field $K$.
It seems to be well known that there is a one to one correspondence between (non trivial?) non archimedean valuations of $K$ and (non zero?) prime ideals of $\mathcal{O}_{K}$. But I didn't see detal.
Please tell me the accurate statement and a proof?