证明:因为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的一个排列,而b∈G,所以必存在一个ai(1≤i≤n),使得aai=b,所以ax=b有解,同理xa=b有解.Q.E.D
