Moved the inner product definition above the proof that uses it.