theorem Th83: :: NUMBER11:83
digits (176,10) = <%6,7,1%>