6.1262
Der Beweis in der Logik ist nur ein mechanisches Hilfsmittel zum leichteren Erkennen, der Tautologie, wo sie kompliziert ist.