Verallgemeinerung
Eine Strategie, die in solchen Fällen oft hilft, ist Verallgemeinerung:
- Führe zusätzliche Parameter ein,
- völlig neue, oder
- Abstraktionen von Konstanten in der Ausgangsspezifikation.
- Diese Konstanten können "unsichtbare" Neutralelemente sein.
- Benütze die zusätzlichen Freiheitsgrade zur Lösung.
Dieses Verfahren ist aus Induktionsbeweisen bekannt: Verallgemeinere die Induktionsbehauptung, damit die Induktion durchgeht.