群中方程存在唯一解

$\forall a,b\in G$, 方程 $ax=b,ya=b$ 在 $G$ 中有且仅有唯一解 $a^{-1}b,b{a}^{-1}$.