[realvectorspace.png]