有限半群必有一个幂等元怎么证明