theorem Th274: :: NUMBER11:274
digits (108,10) = <%8,0,1%>