theorem :: REVROT_1:18

canceled;