theorem Th353: :: NUMBER11:353
digits (836,10) = <%6,3,8%>