Let $R$ be a valuation ring.
Then $R$ is a local ring.
When this page/section has been completed, {{ProofWanted}}
should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}}
the page (see the proofread template for usage).