theorem Th1151: :: NUMBER11:1151

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