theorem :: VECTMETR:3

canceled;