theorem :: VECTMETR:5

canceled;