theorem Th1199: :: NUMBER11:1199

digits (2375,10) = <%5,7,3,2%>