Prove that if in a certain set with associative operation $*$ defined, $ax = b$ and $ya = b$ have solutions, then that structure is a group.
Proving that $G$ is a group if $a*x=b$ and $y*a=b$ have solutions.