theorem Th257: :: NUMBER11:257

digits (408,10) = <%8,0,4%>