theorem :: VECTMETR:4

canceled;