Ordered field/a \geq b positive/Inverse/Exercise

Let ${}K$ be an ordered field and ${}x>y>0$. Show that for the inverse elements ${}x^{-1}<y^{-1}$ holds.

Create a solution