3.16.2 Properties of the vector product