theorem Th1333: :: NUMBER11:1333
digits (4450,10) = <%0,5,4,4%>