Teilschritte in Beweisen Thema ist als GELÖST markiert

[Cordovan]

Hallo zusammen!

Bei längeren Beweisen erleichtert es das Verständnis, wenn Zwischenbehauptungen aufgestellt und bewiesen werden.

Gibt es eine schöne Methode, das in LaTeX umzusetzen? Bisher habe ich die description-Umgebung verwendet, aber vielleicht geht das ja noch besser... Es muss innerhalb einer theorem-Umgebung einsetzbar sein.

Viele Grüße
Cordovan

[nfa019]

man könnte alternativ auch ein paar Lemmata beweisen.

Frauke

[Cordovan]

Ja, das ist mir klar, aber in vielen Fällen nicht praktikabel. Wenn ich im Beweis des Satzes gerade eine Menge konstruiert habe und eine ihrer Eigenschaften benötige, lässt sich das sehr schlecht aus dem Satz ausgliedern und als eigenständige Aussage formulieren.

Cordovan