theorem :: REVROT_1:12

canceled;