theorem Th596: :: NUMBER11:596
digits (2680,10) = <%0,8,6,2%>