3.16.1 Vector product