These properties let us compute easily that, for a general vector that is written in component form the dot product can be calculated as
(For a complete proof, see any of the references cited.) As a quick example,