theorem :: VECTSP_1:4

canceled;