theorem :: ABSRED_0:154

for X being non empty ARS holds
( X is COMP iff the reduction of X is complete )