theorem Th678: :: NUMBER11:678

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