theorem :: REVROT_1:13

canceled;