theorem :: COMSEQ_2:19

canceled;