Theoreme hinzugefügt.

Beweise kommen noch.