5.3.3 The inner product