Ein direkter Beweis zeigt eine Aussage A⇒BA\Rightarrow BA⇒B, indem man AAA annimmt und daraus durch gültige Umformungen direkt BBB herleitet.
Typisch: Definitionen einsetzen, bekannte Sätze nutzen, Ergebnis folgern.