theorem :: COMSEQ_2:11

canceled;