theorem Th668: :: NUMBER11:668

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