theorem Th1133: :: NUMBER11:1133

digits (1250,10) = <%0,5,2,1%>