theorem Th349: :: NUMBER11:349
digits (798,10) = <%8,9,7%>