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