https://9dok.net/document/z3d39o07-natürliches-schließen-in-coq-ein-einführendes-tutorial.html