theorem :: SEQ_4:30

canceled;