Lit added
Beweis fast fertig
Beweis obere Diff nNet1 fertig