theorem Th1367: :: NUMBER11:1367

digits (4875,10) = <%5,7,8,4%>