theorem Th1297: :: NUMBER11:1297

digits (4000,10) = <%0,0,0,4%>