Induktion, Monovarianten und Beweiswerkstatt

Extremalobjekte reduzieren, Lösungen zurückbauen und Terminierung durch streng monotone Größen sichern.