User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-35392788-20191029194318/@comment-35470197-20191029224807

@rpakr

It does not necessarily true, but probably holds in many cases. If it can be actually verified, the situation is much easier.