theorem Th696: :: NUMBER11:696
digits (3680,10) = <%0,8,6,3%>