MA.AG.3.f: Verify properties of the dot product.