theorem :: VALUED_1:28

canceled;