(154)–(155), §D.3.2, p. 59 — U_{k,n} ≥ U_{k,n+1}, with W^IRS.FH = U_{1,0}, W^IRS.V-Zero = U_{K,T}, U_{k+1,0} = U_{k,T}

Initializing...

(154)–(155), §D.3.2, p. 59 — U_{k,n} ≥ U_{k,n+1}, with W^IRS.FH = U_{1,0}, W^IRS.V-Zero = U_{K,T}, U_{k+1,0} = U_{k,T} · Prove2Me