theorem Th1153: :: NUMBER11:1153
digits (1575,10) = <%5,7,5,1%>