theorem Th1027: :: NUMBER11:1027

digits (1449,10) = <%9,4,4,1%>