https://123dok.net/document/zpnkln9v-admissible-rules-and-backward-derivation-in-intuitionistic-logic.html