https://123dok.net/document/qmjkvr79-simple-proof-that-super-consistency-implies-cut-elimination.html