for X being BCI-algebra holds BCK-part X is closed Ideal of X