theorem :: BCIALG_1:36

for X being BCI-algebra holds X is generated_by_atom by Th35;