设V=〈S，*〉是可交换半群，若a，b是V中的幂等元，证明a*b也是V中的幂等元。