theorem Th979: :: NUMBER11:979
digits (805,10) = <%5,0,8%>