theorem Th484: :: NUMBER11:484
digits (1560,10) = <%0,6,5,1%>