P
Initializing...
Eq. (12): the recurrence step on $n$ copies of (11) outputs $N\rho'$ · Prove2Me