theorem Th1015: :: NUMBER11:1015

digits (1288,10) = <%8,8,2,1%>