theorem Th1003: :: NUMBER11:1003

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