Solution
= Solution
The equality $h\{t\}=h^*\{t^*\}$ says that $h(i)$ and $h^*(i)$ lie in corresponding rows for every entry $i$. For $i$ in the leftmost column, both $h(i)$ and $h^*(i)$ remain in that column. Corresponding rows therefore force $h(i)=h^*(i)$.
Remove the leftmost entry of every row and repeat the argument on the shortened tableaux. Induction across the columns gives equality on every entry, so $h=h^*$.