theorem :: COMSEQ_2:21

canceled;