Erweiterung der Theorie um die Formeln