Navigation überspringen

Beweis (Satz 3.1)