6˙11351
Der Beweis in der Logik ist nur ein mechanisches Hilfsmittel zum leichteren [e|E]rkennen der Tautologie wo sie kompliziert ist.