Definitionen und direkte Beweise

Definitionen öffnen, direkte Schlussketten formulieren und Äquivalenzen in zwei Richtungen zeigen.