Dezimalbruch/Halbierung/Algorithmus/Korrektheit/Fakt/Beweis/Aufgabe