Einleitung. Mathematische Formeldekonstruktion zur Demonstration von Theorembeweisen mit Parameteranpassung