theorem Th672: :: NUMBER11:672

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