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