theorem Th351: :: NUMBER11:351

digits (817,10) = <%7,1,8%>