theorem :: REVROT_1:17

canceled;