theorem Th233: :: NUMBER11:233
digits (119,10) = <%9,1,1%>