:: deftheorem defines * VECTSP_2:def 6 :
for R being non empty 1-sorted
for V being non empty RightModStr over R
for x being Element of R
for v being Element of V holds v * x = the rmult of V . (v,x);