theorem Th1062: :: NUMBER11:1062
digits (696,10) = <%6,9,6%>