theorem Th1048: :: NUMBER11:1048

digits (216,10) = <%6,1,2%>