theorem Th19: :: BCIIDEAL:19

for X being BCI-algebra
for I being Ideal of X st I is p-ideal of X holds
BCK-part X c= I