ショルツはCor 3.12の証明のFigure 3.8以降のロジックに全くついていけないと言ってる
つまりそれまでは理解してる