Let $A$ be a unital *-ring. Let us put, $A^+=\{\sum_1^N x^*_ix_i: x_i\in A , N\in \mathbb{N} \}$. We write $x\geq0$ if $x\in A^+$.
Suppose that for every $n\in \mathbb{N}$ and $a\in A$, there exsits $x\in A$ with $a=nx$.
Let us assume for natural numbers $m,n$ we have $mx^*x-n\geq0$. Can we conclude that $mxx^*-n\geq0$ as well?