theorem Th1135: :: NUMBER11:1135

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