theorem Th35: :: BCIIDEAL:35

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