theorem :: RAT_1:5

canceled;