It follows that every nonempty periodic semigroup has at least one idempotent.

• 得出了所有非空周期半群都有至少一个幂等元。