theorem Th943: :: NUMBER11:943
digits (276,10) = <%6,7,2%>