The standard inner product on R^n commutes with (real) scalar multiplication.

Created almost 9 years ago