Solution (source code)

= Solution

Using the <conjugate transpose> and the <Hermitian matrix> assumptions,
$$
\boxed{(ABA)^\dagger=A^\dagger B^\dagger A^\dagger=ABA.}
$$
Thus $ABA$ is a <Hermitian matrix>, whether or not $A$ and $B$ <commute>.