theorem Th1193: :: NUMBER11:1193

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