Zaslat SMS: Zur Methodik des Beweisens und Herleitens mathematischer Aussagen im Unterricht