theorem :: REVROT_1:3

canceled;