header erweiterung um definition satz und hilfssatz
definition hinzugefuegt