theorem Th680: :: NUMBER11:680

digits (3520,10) = <%0,2,5,3%>