theorem :: BCIIDEAL:24

for X being BCK-algebra st X is p-Semisimple BCI-algebra holds
{(0. X)} is commutative Ideal of X