theorem :: REVROT_1:16

canceled;