theorem Th37: :: BCIIDEAL:37

for X being BCK-algebra holds
( X is commutative BCK-algebra iff for I being Ideal of X holds I is commutative Ideal of X )