theorem :: ABSRED_0:24

for X being ARS
for x, y, z being Element of X st x =+=> y & y =01=> z holds
x =*=> z