ブラックボックス化自体が悪、とはいわない
何が証明されてないかが明確に意識されていれば構わない

今回、系3.12が”定理”3.11.5から導けたといってるから
証明されてない予想は、系3.12から”定理”3.11.5に移った

”定理”3.11から”定理”3.11.5は証明できるか？
なんともいえないが、今ここでつまってそうな感じがする