theorem Th36: :: BCIIDEAL:36

for X being BCK-algebra holds
( {(0. X)} is commutative Ideal of X iff X is commutative BCK-algebra )