theorem Th2: :: BCIALG_1:2

for X being BCI-algebra
for x being Element of X holds x \ (0. X) = x