theorem :: SEQM_3:40

canceled;