theorem Th1023: :: NUMBER11:1023

digits (1403,10) = <%3,0,4,1%>