theorem Th1145: :: NUMBER11:1145

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