theorem :: ABSVALUE:19

canceled;