Navigation überspringen

* Beweis Distributivität