theorem Th89: :: NUMBER11:89
digits (209,10) = <%9,0,2%>