theorem :: REVROT_1:5

canceled;