theorem :: VECTSP_1:3

canceled;