theorem Th1197: :: NUMBER11:1197
digits (2350,10) = <%0,5,3,2%>