theorem Th949: :: NUMBER11:949
digits (345,10) = <%5,4,3%>