theorem Th676: :: NUMBER11:676

digits (3480,10) = <%0,8,4,3%>