Ordered field/x negative/Inverse/Exercise

Let ${}K$ be an ordered field and ${}x<0$. Show that also the inverse element ${}x^{-1}$ is negative.

Create a solution