Show that $(f(I), f(J), f(K))$ is a direct orthonormal basis of $\mathbb{H}^{\mathrm{im}}$ for all $f \in \mathrm{Aut}(\mathbb{H})$.