theorem :: VECTSP_1:1

canceled;