Satz 14.1 Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 14
Division mit Rest/N/Induktion/Fakt