theorem Th309: :: NUMBER11:309

digits (418,10) = <%8,1,4%>