theorem Th874: :: NUMBER11:874

digits (1870,10) = <%0,7,8,1%>