theorem Th410: :: NUMBER11:410
digits (820,10) = <%0,2,8%>