theorem :: COMSEQ_1:47

canceled;