theorem :: MIDSP_2:24

canceled;