カット除去定理

https://www.youtube.com/watch?v=-NWeIiOIJ84