theorem Th674: :: NUMBER11:674

digits (3460,10) = <%0,6,4,3%>