Beweis Winkelsumme
Beweis Distributivgesetz