theorem Th1147: :: NUMBER11:1147

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