theorem :: REVROT_1:14

canceled;