theorem :: COMSEQ_2:44

canceled;