Let $A$ be a valuation ring of a field $K$. Show that every subring of $K$ which contains $A$ is a local ring of $A$.
This problem is already asked and answered at mathoverflow. But I can't understand why $PA_P \subset M_B$ at step (b) of the answer. Or there will be another way to show $B \subset A_P$. How can I prove it?