If it is finite and nonempty, then it must contain at least one idempotent.

• 如果它是有限和非空的，则它必须包含至少一个幂等元。