https://9dok.net/document/qmj5d729-gentzen-calculus.html