theorem Th931: :: NUMBER11:931

digits (138,10) = <%8,3,1%>