theorem Th918: :: NUMBER11:918

digits (2398,10) = <%8,9,3,2%>