This dimension checking would be unnecessary, in my opinion.
`subVector.Sub(...)` will do a check there, and it will raise a panic if the dimension mismatch.