theorem :: REVROT_1:9

canceled;