Definition:Length of Vector