theorem Th1033: :: NUMBER11:1033

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