Ordered field/x positive/Inverse/Exercise

Let ${}K$ be an ordered field and ${}x>0$.

Show that also the inverse element ${}x^{-1}$ is positive.

Create a solution