Navigation überspringen

Beweis (Satz 2.4)