theorem :: REVROT_1:10

canceled;