theorem :: STIRL2_1:60

canceled;