theorem :: REARRAN1:11

canceled;