theorem :: REVROT_1:8

canceled;