theorem Th1119: :: NUMBER11:1119
digits (975,10) = <%5,7,9%>