theorem Th1129: :: NUMBER11:1129

digits (1175,10) = <%5,7,1,1%>