theorem :: SEQ_4:28

canceled;