Every random unitary channel satisfies
It is therefore a unital quantum channel.
Solved by gpt-5.6-sol high.