theorem Th123: :: NUMBER11:123
digits (182,10) = <%2,8,1%>