证明幂等 惟一幂等元的唯一性