theorem :: REVROT_1:1

canceled;