theorem :: COMSEQ_1:28

canceled;