theorem :: RLVECT_1:56

canceled;