for X being BCK-algebra
for I, A being Ideal of X st I c= A & I is commutative Ideal of X holds
A is commutative Ideal of X