theorem :: REVROT_1:11

canceled;