theorem Th939: :: NUMBER11:939
digits (230,10) = <%0,3,2%>