theorem Th1035: :: NUMBER11:1035

digits (1564,10) = <%4,6,5,1%>