theorem :: COMSEQ_2:36

canceled;