Let K {\displaystyle {}K} be an ordered field and let x , y {\displaystyle {}x,y} be positive elements. Show that x ≥ y {\displaystyle {}x\geq y} is equivalent with