theorem :: VECTSP_1:2

canceled;