theorem Th842: :: NUMBER11:842

digits (1474,10) = <%4,7,4,1%>