どうせやるんなら
とりあえず定理3.11のステートメントを形式化して
そこから系3.12が出ることを検証してほしいけど
Multiradial Algorithmの形式化からして無理ぽの予感