Beweisarchiv: Arithmetik: Lösungen von Gleichungen