Definition des Eliminations-Theorems: Eliminieren von Parametern durch algebraische Gleichungen