theorem Th670: :: NUMBER11:670

digits (3420,10) = <%0,2,4,3%>