theorem :: REVROT_1:4

canceled;