theorem Th726: :: NUMBER11:726

digits (3980,10) = <%0,8,9,3%>