theorem Th1125: :: NUMBER11:1125

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