Mustergesteuerte Strategien für das Beweisen von Gleichungen