Prove the following structure theorem: every nonzero periodic BCI-algebrais a subdirect product of certain subdirectly irreducible BCI-algebras.

• 证明了下面的结构定理:每一个非零的周期BCI-代数是一些次直不可约BCI-代数的次直积.