Now you are in the subtree of Container for Linear Algebra project. 

The standard inner product of a vector with itself is non-negative

Put content here.