theorem :: COMSEQ_2:25

canceled;