证明：设是一个群，则对于任意a，b∈G，必存在惟一的x∈G使得a·x=b。