3.13.2 Properties of the scalar product