Divided_by_Positive_Element_of_Field_of_Quotients

Let $\struct {K, +, \circ}$ be the field of quotients of a totally ordered integral domain $\struct {D, +, \circ, \le}$. Then $\forall z \in K: \exists x, y \in D: z = \dfrac x y, y \in D_{>0}$