theorem Th1289: :: NUMBER11:1289

digits (3875,10) = <%5,7,8,3%>