theorem Th1123: :: NUMBER11:1123

digits (1050,10) = <%0,5,0,1%>