The uniqueness of T∗ is clear by the previous observation.
$$ \begin{align} &{\langle T^w, v\rangle}&\ =~&\overline{\langle v,T^w\rangle}&~~~\text{(conjugate symmetry)}\ =~&\overline{\langle Tv,w\rangle}&~~~\text{(by definition)} \end{align} $$
The uniqueness of T∗ is clear by the previous observation.
$$ \begin{align} &{\langle T^w, v\rangle}&\ =~&\overline{\langle v,T^w\rangle}&~~~\text{(conjugate symmetry)}\ =~&\overline{\langle Tv,w\rangle}&~~~\text{(by definition)} \end{align} $$
proven the result of the theorem for all
Strong induction.