>>494
web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf

正確には、ゲンツェンの基本定理ではなく、その系から
導かれたはずです。