theorem Th618: :: NUMBER11:618

digits (2900,10) = <%0,0,9,2%>