theorem :: COMSEQ_2:13

canceled;