theorem Th1031: :: NUMBER11:1031

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