theorem :: BCIALG_3:13

for X being BCI-algebra st X is p-Semisimple holds
( X is BCI-commutative & X is BCI-weakly-commutative )