theorem :: RAT_1:6

canceled;