(G, *) is a group IFF
>* is an associative binary multiplicative operation
>for each a, b of G: a*x=b; y*a=b has a single solution of GxG
>* is an associative binary multiplicative operation
>for each a, b of G: a*x=b; y*a=b has a single solution of GxG
