theorem Th654: :: NUMBER11:654
digits (3260,10) = <%0,6,2,3%>