theorem :: RAT_1:4

canceled;