theorem :: REVROT_1:15

canceled;