theorem Th1029: :: NUMBER11:1029

digits (1472,10) = <%2,7,4,1%>