theorem :: RLVECT_1:71

canceled;