theorem Th1113: :: NUMBER11:1113

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