证明:因为G有限,设G={a1,...,an},任取a,b∈G,只需证明ax=b和xa=b有解即可.因为半群对运算封闭,所以aa1,...,aan∈G.这n个元素必然两两不等,否则若aai=aaj(i≠j),根据消去律,ai=aj,矛盾.所以aa1,...,aan是a1,...,an的...