Kurs:Grundkurs Mathematik/Bruch/Divisionsalgorithmus/Dezimalbruchfolge in Q/Fakt/Faktreferenznummer

Lemma 28.8 (Grundkurs Mathematik (Osnabrück 2022-2023))