theorem Th496: :: NUMBER11:496
digits (1680,10) = <%0,8,6,1%>