Let \(V\) be a finite-dimensional real inner product space with inner product \((\ ,\ )\), and let \(T:V\to V\) be linear. Show that the following are equivalent:
\((Tx,Ty)=(x,y)\) for all \(x,y\in V\);
\(\|T(x)\|=\|x\|\) for all \(x\in V\);
\(T^*T=\operatorname{Id}_V\), where \(T^*\) is the adjoint of \(T\);
\(TT^*=\operatorname{Id}_V\).