theorem :: COMSEQ_2:31

canceled;