Hi, I have a question I need to do that look quite axiom-based, but I've been working through it for a while and I just can't seem to get out the answer that I need!

We assume that V is a real vector space, and and are inner products defined on V.

Assuming that , I want to show that .

I've tried methods like , but this doesn't seem to lead me anywhere. Can anyone help?

Thanks!