理解したつもりの取り巻きたちもこの部分誰も説明できなかったんだよね
そもそも何が問題なのかも理解できてなさそう。
>In any case, at some point in the proof of Corollary 3.12, things are so obfuscated that it is completely unclear whether some object refers to the q-values or the Θ-values, as it is somehow claimed to be definitionally equal to both of them, up to some blurring of course, and hence you get the desired result.