theorem Th1191: :: NUMBER11:1191

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