theorem Th981: :: NUMBER11:981
digits (828,10) = <%8,2,8%>