theorem :: COMSEQ_2:15

canceled;