theorem Th416: :: NUMBER11:416

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