theorem Th916: :: NUMBER11:916
digits (2376,10) = <%6,7,3,2%>