theorem Th1271: :: NUMBER11:1271

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