theorem Th408: :: NUMBER11:408

digits (800,10) = <%0,0,8%>