theorem Th1187: :: NUMBER11:1187

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