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