 Solution

Choose any pure input $\rho =|\varphi ⟩⟨\varphi |$. Its reference system may be one-dimensional, and the Stinespring output on $QE$ is pure. Its two reduced states have equal entropy by part a, hence