Beweisarchiv: Arithmetik: Erweiterte Rechenarten